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

Do not use esy #294

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

Do not use esy #294

wants to merge 11 commits into from

Commits on May 17, 2024

  1. Configuration menu
    Copy the full SHA
    92ee3e5 View commit details
    Browse the repository at this point in the history
  2. use the set-up ocaml

    jfrolich committed May 17, 2024
    Configuration menu
    Copy the full SHA
    c028af0 View commit details
    Browse the repository at this point in the history
  3. add permissions

    jfrolich committed May 17, 2024
    Configuration menu
    Copy the full SHA
    66a6311 View commit details
    Browse the repository at this point in the history
  4. also fix the other one

    jfrolich committed May 17, 2024
    Configuration menu
    Copy the full SHA
    308e4a6 View commit details
    Browse the repository at this point in the history
  5. drop windows support

    jfrolich committed May 17, 2024
    Configuration menu
    Copy the full SHA
    293f248 View commit details
    Browse the repository at this point in the history
  6. snapshot differences

    jfrolich committed May 17, 2024
    Configuration menu
    Copy the full SHA
    1557796 View commit details
    Browse the repository at this point in the history
  7. fix

    jfrolich committed May 17, 2024
    Configuration menu
    Copy the full SHA
    2df6ae1 View commit details
    Browse the repository at this point in the history
  8. fix

    jfrolich committed May 17, 2024
    Configuration menu
    Copy the full SHA
    f17d9ad View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    13bc691 View commit details
    Browse the repository at this point in the history
  10. fix

    jfrolich committed May 17, 2024
    Configuration menu
    Copy the full SHA
    b8247e4 View commit details
    Browse the repository at this point in the history
  11. try this

    jfrolich committed May 17, 2024
    Configuration menu
    Copy the full SHA
    b9fe588 View commit details
    Browse the repository at this point in the history