Skip to content

Actions: c-cube/qcheck

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
Remove QCheck2.TestResult.get_instances to address memory leak build #388: Pull request #288 synchronize by jmid
June 28, 2024 11:43 19m 14s jmid:remove-get-instances
jmid:remove-get-instances
June 28, 2024 11:43 19m 14s
Merge pull request #289 from jmid/fix-github-actions-on-mac build #387: Commit 2c31c62 pushed by jmid
June 28, 2024 11:42 14m 19s main
main
June 28, 2024 11:42 14m 19s
Run macOS runners Intel hardware as 4.08.1 does not support M1/ARM64 build #386: Pull request #289 opened by jmid
June 28, 2024 11:01 17m 22s jmid:fix-github-actions-on-mac
jmid:fix-github-actions-on-mac
June 28, 2024 11:01 17m 22s
Remove QCheck2.TestResult.get_instances to address memory leak build #385: Pull request #288 opened by jmid
June 28, 2024 10:46 1m 42s jmid:remove-get-instances
jmid:remove-get-instances
June 28, 2024 10:46 1m 42s
Add sig expander to qcheck2 build #384: Pull request #286 synchronize by mbarbin
February 29, 2024 16:01 20m 32s mbarbin:qcheck2.add-sig_type_decl
mbarbin:qcheck2.add-sig_type_decl
February 29, 2024 16:01 20m 32s
Update checkout action to v4 to silence CI warnings build #380: Commit 15a2477 pushed by jmid
December 7, 2023 18:15 17m 39s main
main
December 7, 2023 18:15 17m 39s
Prepare CHANGELOG for next release build #379: Commit a6a80e8 pushed by jmid
December 7, 2023 08:56 19m 51s main
main
December 7, 2023 08:56 19m 51s
Merge pull request #285 from shym/no-bytes build #378: Commit 9672fe6 pushed by jmid
October 3, 2023 12:22 22m 40s main
main
October 3, 2023 12:22 22m 40s
Remove the unnecessary dependency on bytes build #377: Pull request #285 synchronize by shym
October 3, 2023 11:59 14m 41s shym:no-bytes
shym:no-bytes
October 3, 2023 11:59 14m 41s
Remove the unnecessary dependency on bytes build #376: Pull request #285 opened by shym
September 29, 2023 10:54 20m 7s shym:no-bytes
shym:no-bytes
September 29, 2023 10:54 20m 7s
Merge pull request #284 from jamesjer/main build #375: Commit 86ced4a pushed by jmid
September 1, 2023 20:57 20m 49s main
main
September 1, 2023 20:57 20m 49s