Skip to content

Actions: c-cube/qcheck

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #300 from jmid/rm-unused-field build #412: Commit 9847d5d pushed by jmid
December 7, 2024 11:17 5m 33s main
main
December 7, 2024 11:17 5m 33s
Remove unused field, triggering a compiler warning build #411: Pull request #300 opened by jmid
December 6, 2024 23:29 7m 7s jmid:rm-unused-field
jmid:rm-unused-field
December 6, 2024 23:29 7m 7s
Add Shrink.bool build #410: Pull request #299 opened by jmid
December 6, 2024 23:04 6m 41s jmid:add-shrink-bool
jmid:add-shrink-bool
December 6, 2024 23:04 6m 41s
Add an exponential generator build #409: Pull request #298 opened by jmid
December 6, 2024 17:13 6m 27s jmid:add-exponential-gen
jmid:add-exponential-gen
December 6, 2024 17:13 6m 27s
Quote and escape in QCheck.Print.{char,string}, aligning it with QCheck2.Print build #408: Pull request #297 synchronize by jmid
December 6, 2024 12:11 10m 46s jmid:fix-qcheck-print-escaping
jmid:fix-qcheck-print-escaping
December 6, 2024 12:11 10m 46s
Quote and escape Observable strings and chars build #407: Pull request #296 synchronize by jmid
December 6, 2024 12:08 6m 33s jmid:fix-observable-escapes
jmid:fix-observable-escapes
December 6, 2024 12:08 6m 33s
Quote and escape in QCheck.Print.{char,string}, aligning it with QCheck2.Print build #406: Pull request #297 opened by jmid
December 6, 2024 12:01 6m 7s jmid:fix-qcheck-print-escaping
jmid:fix-qcheck-print-escaping
December 6, 2024 12:01 6m 7s
Quote and escape Observable strings and chars build #405: Pull request #296 opened by jmid
December 6, 2024 11:50 7m 1s jmid:fix-observable-escapes
jmid:fix-observable-escapes
December 6, 2024 11:50 7m 1s
Merge pull request #295 from Kakadu/ppx-records-rec-rebase build #404: Commit 2888256 pushed by jmid
December 5, 2024 13:28 13m 41s main
main
December 5, 2024 13:28 13m 41s
PPX: mutual recursion with records is now compiling. build #403: Pull request #295 opened by Kakadu
November 21, 2024 20:12 14m 24s Kakadu:ppx-records-rec-rebase
Kakadu:ppx-records-rec-rebase
November 21, 2024 20:12 14m 24s
Prepare CHANGELOG for next release build #402: Commit 31541c6 pushed by jmid
July 8, 2024 13:29 11m 5s main
main
July 8, 2024 13:29 11m 5s
Uniformly require at least alcotest.1.2.0 build #401: Commit d3211dd pushed by jmid
July 8, 2024 13:26 6m 7s main
main
July 8, 2024 13:26 6m 7s
pages build and deployment pages-build-deployment #26: by jmid
July 5, 2024 16:45 36s gh-pages
gh-pages
July 5, 2024 16:45 36s
Merge pull request #292 from jmid/update-ci build #400: Commit 7230f98 pushed by jmid
July 4, 2024 15:31 14m 48s main
main
July 4, 2024 15:31 14m 48s
Update CI to setup-ocaml v3 build #399: Pull request #292 synchronize by jmid
July 4, 2024 15:24 6m 12s jmid:update-ci
jmid:update-ci
July 4, 2024 15:24 6m 12s
Update CI to setup-ocaml v3 build #398: Pull request #292 synchronize by jmid
July 4, 2024 14:51 5m 48s jmid:update-ci
jmid:update-ci
July 4, 2024 14:51 5m 48s
Update CI to setup-ocaml v3 build #397: Pull request #292 synchronize by jmid
July 4, 2024 14:42 6m 51s jmid:update-ci
jmid:update-ci
July 4, 2024 14:42 6m 51s
Update CI to setup-ocaml v3 build #396: Pull request #292 synchronize by jmid
July 4, 2024 14:18 13m 16s jmid:update-ci
jmid:update-ci
July 4, 2024 14:18 13m 16s
Update CI to setup-ocaml v3 build #395: Pull request #292 opened by jmid
July 4, 2024 14:05 4m 1s jmid:update-ci
jmid:update-ci
July 4, 2024 14:05 4m 1s
Merge pull request #291 from jmid/qcheck2-state-res-warning build #394: Commit 7f872f2 pushed by jmid
July 4, 2024 14:03 9m 24s main
main
July 4, 2024 14:03 9m 24s
Make QCheck2.state.res immutable build #393: Pull request #291 synchronize by jmid
July 4, 2024 13:46 14m 15s jmid:qcheck2-state-res-warning
jmid:qcheck2-state-res-warning
July 4, 2024 13:46 14m 15s
Merge pull request #288 from jmid/remove-get-instances build #392: Commit 2ca480c pushed by jmid
July 4, 2024 13:40 14m 31s main
main
July 4, 2024 13:40 14m 31s
Make QCheck2.state.res immutable build #391: Pull request #291 opened by jmid
July 1, 2024 16:31 12m 7s jmid:qcheck2-state-res-warning
jmid:qcheck2-state-res-warning
July 1, 2024 16:31 12m 7s
Merge pull request #290 from jmid/alcotest-lower-bound build #390: Commit 53476ad pushed by jmid
July 1, 2024 15:48 8m 48s main
main
July 1, 2024 15:48 8m 48s
Add alcotest lower bound for test-dependency build #389: Pull request #290 opened by jmid
July 1, 2024 15:30 13m 57s jmid:alcotest-lower-bound
jmid:alcotest-lower-bound
July 1, 2024 15:30 13m 57s