Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Voodoo fixes following the change in layout #1241

Merged
merged 12 commits into from
Nov 14, 2024
Merged

Voodoo fixes following the change in layout #1241

merged 12 commits into from
Nov 14, 2024

Commits on Nov 13, 2024

  1. Driver: Split compile and link phases

    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    a952011 View commit details
    Browse the repository at this point in the history

  2. Driver: Purge the use of the include path 

    Only use the explicit libraries and packages used for linking to drive the
include paths, even for compile.
    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e2c7bee View commit details
    Browse the repository at this point in the history

  3. Driver: Ignore errors if sherlodoc fails

    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    42a7c82 View commit details
    Browse the repository at this point in the history

  4. Ensure pages of the current package can be referenced unqualified

    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    7348cc2 View commit details
    Browse the repository at this point in the history

  5. Promote test output

    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    460fdd7 View commit details
    Browse the repository at this point in the history

  6. Updates following PR review comments

    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    0728bb4 View commit details
    Browse the repository at this point in the history

  7. Driver: Don't re-lookup things we've already looked up 

    Suggested by @panglesd in review of ocaml#1241
    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ddbcbbc View commit details
    Browse the repository at this point in the history

  8. Driver: Exhaustive match checks 

    Plus better use of Astring.String.fields
    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    cae0be1 View commit details
    Browse the repository at this point in the history

  9. Formatting

    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    ed7966f View commit details
    Browse the repository at this point in the history

  10. Fix rebase error

    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    67d3a80 View commit details
    Browse the repository at this point in the history

  11. Add named_root type

    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    762ea20 View commit details
    Browse the repository at this point in the history

  12. Formatting

    @jonludlam
    jonludlam committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    10dc123 View commit details
    Browse the repository at this point in the history