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

Migrate to ppxlib >= 0.18.0 #5

Merged
merged 8 commits into from
May 4, 2021
Merged

Migrate to ppxlib >= 0.18.0 #5

merged 8 commits into from
May 4, 2021

Commits on Nov 21, 2020

  1. migrate to ppxlib >= 0.18.0

    giltho committed Nov 21, 2020
    Configuration menu
    Copy the full SHA
    4ff706a View commit details
    Browse the repository at this point in the history
  2. add test

    giltho committed Nov 21, 2020
    Configuration menu
    Copy the full SHA
    7e13b68 View commit details
    Browse the repository at this point in the history
  3. better error message

    giltho committed Nov 21, 2020
    Configuration menu
    Copy the full SHA
    94b3106 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2020

  1. tests with ppx_deriving

    giltho committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    71d1d12 View commit details
    Browse the repository at this point in the history
  2. promote tests.expected

    giltho committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    babd549 View commit details
    Browse the repository at this point in the history
  3. Adds test job

    giltho authored Nov 26, 2020
    Configuration menu
    Copy the full SHA
    1b9471c View commit details
    Browse the repository at this point in the history
  4. Update main.yml

    giltho authored Nov 26, 2020
    Configuration menu
    Copy the full SHA
    02ce40b View commit details
    Browse the repository at this point in the history
  5. fixing workflow once again...

    giltho authored Nov 26, 2020
    Configuration menu
    Copy the full SHA
    05291d0 View commit details
    Browse the repository at this point in the history