Skip to content

Actions: c-cube/qcheck

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
139 workflow runs
139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #352 from jmid/fix-ppx-deriving-link build #541: Commit a2c1335 pushed by jmid
July 16, 2025 19:11 7m 25s main
main
July 16, 2025 19:11 7m 25s
Fix 404 bug-reports link in ppx_deriving_qcheck.opam build #540: Pull request #352 opened by jmid
July 16, 2025 17:26 4m 17s jmid:fix-ppx-deriving-link
jmid:fix-ppx-deriving-link
July 16, 2025 17:26 4m 17s
Prepare CHANGELOG for next release build #539: Commit 9aef789 pushed by jmid
July 9, 2025 18:07 2m 7s main
main
July 9, 2025 18:07 2m 7s
Patch Float.frexp significant stats where int_of_float is undefined o… build #538: Commit e537389 pushed by jmid
July 9, 2025 17:53 9m 54s main
main
July 9, 2025 17:53 9m 54s
Merge pull request #351 from jmid/collect-alignment build #537: Commit b8e8062 pushed by jmid
July 8, 2025 10:28 7m 1s main
main
July 8, 2025 10:28 7m 1s
Align printed collect statistics build #536: Pull request #351 synchronize by jmid
July 8, 2025 10:15 7m 8s jmid:collect-alignment
jmid:collect-alignment
July 8, 2025 10:15 7m 8s
Align printed collect statistics build #535: Pull request #351 synchronize by jmid
July 8, 2025 10:04 17m 6s jmid:collect-alignment
jmid:collect-alignment
July 8, 2025 10:04 17m 6s
Merge pull request #350 from jmid/float-dist-fix build #534: Commit 5b28e65 pushed by jmid
July 8, 2025 07:06 13m 36s main
main
July 8, 2025 07:06 13m 36s
Align printed collect statistics build #533: Pull request #351 synchronize by jmid
July 7, 2025 22:05 7m 9s jmid:collect-alignment
jmid:collect-alignment
July 7, 2025 22:05 7m 9s
Align printed collect statistics build #532: Pull request #351 synchronize by jmid
July 7, 2025 21:40 6m 59s jmid:collect-alignment
jmid:collect-alignment
July 7, 2025 21:40 6m 59s
Align printed collect statistics build #531: Pull request #351 synchronize by jmid
July 7, 2025 21:25 7m 3s jmid:collect-alignment
jmid:collect-alignment
July 7, 2025 21:25 7m 3s
Align printed collect statistics build #530: Pull request #351 synchronize by jmid
July 7, 2025 21:07 7m 18s jmid:collect-alignment
jmid:collect-alignment
July 7, 2025 21:07 7m 18s
Align printed collect statistics build #529: Pull request #351 opened by jmid
July 7, 2025 17:47 15m 17s jmid:collect-alignment
jmid:collect-alignment
July 7, 2025 17:47 15m 17s
Fix QCheck{,2}.Gen.float distribution build #528: Pull request #350 synchronize by jmid
July 7, 2025 15:15 7m 30s jmid:float-dist-fix
jmid:float-dist-fix
July 7, 2025 15:15 7m 30s
Fix QCheck{,2}.Gen.float distribution build #527: Pull request #350 opened by jmid
July 7, 2025 13:41 13m 20s jmid:float-dist-fix
jmid:float-dist-fix
July 7, 2025 13:41 13m 20s
Merge pull request #349 from jmid/more-qcheck2-doc build #526: Commit e4268fe pushed by jmid
June 25, 2025 11:32 6m 58s main
main
June 25, 2025 11:32 6m 58s
Elaborate on QCheck/QCheck2 situation in README too build #525: Pull request #349 opened by jmid
June 25, 2025 11:23 7m 1s jmid:more-qcheck2-doc
jmid:more-qcheck2-doc
June 25, 2025 11:23 7m 1s
Merge pull request #348 from jmid/add-opam-descriptions build #524: Commit 321224d pushed by jmid
June 25, 2025 10:44 7m 29s main
main
June 25, 2025 10:44 7m 29s
Add missing opam descriptions fields build #523: Pull request #348 synchronize by jmid
June 25, 2025 10:15 4m 21s jmid:add-opam-descriptions
jmid:add-opam-descriptions
June 25, 2025 10:15 4m 21s
Merge pull request #347 from jmid/doc-shrink-invariants build #522: Commit 96db288 pushed by jmid
June 25, 2025 10:13 6m 54s main
main
June 25, 2025 10:13 6m 54s
Add missing opam descriptions fields build #521: Pull request #348 opened by jmid
June 24, 2025 19:53 16m 45s jmid:add-opam-descriptions
jmid:add-opam-descriptions
June 24, 2025 19:53 16m 45s
Document QCheck.Shrink invariants build #520: Pull request #347 opened by jmid
June 24, 2025 15:30 7m 6s jmid:doc-shrink-invariants
jmid:doc-shrink-invariants
June 24, 2025 15:30 7m 6s
Merge pull request #346 from kit-ty-kate/ocaml-5.4 build #519: Commit bbd42cd pushed by jmid
June 24, 2025 14:36 4m 45s main
main
June 24, 2025 14:36 4m 45s
failure pretty-printing: do not print extra empty lines with spaces build #518: Pull request #346 synchronize by jmid
June 24, 2025 14:18 16m 55s kit-ty-kate:ocaml-5.4
kit-ty-kate:ocaml-5.4
June 24, 2025 14:18 16m 55s
failure pretty-printing: do not print extra empty lines with spaces build #517: Pull request #346 synchronize by kit-ty-kate
June 23, 2025 16:56 15m 55s kit-ty-kate:ocaml-5.4
kit-ty-kate:ocaml-5.4
June 23, 2025 16:56 15m 55s