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.

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

update to OCaml 4.14.1 #3656

Open
wants to merge 23 commits into
base: master
Choose a base branch
from
Open

update to OCaml 4.14.1 #3656

wants to merge 23 commits into from

Commits on Aug 16, 2022

  1. Enable lang 3.0

    Leonidas-from-XIV committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    d37f776 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d8d032c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    1d62222 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d397680 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2022

  1. Configuration menu
    Copy the full SHA
    88440de View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2022

  1. Link in base

    Leonidas-from-XIV committed Aug 18, 2022
    Configuration menu
    Copy the full SHA
    e18884f View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2023

  1. update to OCaml 4.14.1

    avsm committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    84a5df1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    3d84698 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2023

  1. promote

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    057c72c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    c540d2f View commit details
    Browse the repository at this point in the history
  3. regenerate lock

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    39af07d View commit details
    Browse the repository at this point in the history
  4. Merge branch 'dune-3-lang' of https://github.com/Leonidas-from-XIV/book

    … into 4.14.1-update
    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    b0cb0df View commit details
    Browse the repository at this point in the history
  5. promote gadts

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    1f96658 View commit details
    Browse the repository at this point in the history
  6. update to dune 3.6

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    7434db3 View commit details
    Browse the repository at this point in the history
  7. promote

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    2b37183 View commit details
    Browse the repository at this point in the history
  8. promote

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    b245199 View commit details
    Browse the repository at this point in the history
  9. promote

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    01681bc View commit details
    Browse the repository at this point in the history
  10. promote

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    01d86ca View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    42fe00a View commit details
    Browse the repository at this point in the history
  12. ffi deps

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    773930b View commit details
    Browse the repository at this point in the history
  13. error checking mutex dep

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    5471d67 View commit details
    Browse the repository at this point in the history
  14. update dockerfile

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    f310f37 View commit details
    Browse the repository at this point in the history
  15. update gha

    avsm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    fc64a88 View commit details
    Browse the repository at this point in the history