search

c-cube / qcheck

QuickCheck inspired property-based testing for OCaml.
https://c-cube.github.io/qcheck/
BSD 2-Clause "Simplified" License
345 stars 37 forks source link

Update GitHub actions #275

Closed jmid closed 1 year ago

jmid commented 1 year ago

Opening #274 I realized the CI was triggered, because of our change from master to main. This little PR updates the workflow accordingly, and also adjusts it to test 4.14 and the actual 5.0.0 release.

jmid commented 1 year ago

Alcotest 1.7.0 and https://github.com/mirage/alcotest/pull/364 changes the output of a test if CI=true. 36e8046 thus adjusts our alcotests to keep the pre-1.7.0-compatible expect test output.