Skip to content

Actions: c-cube/qcheck

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
141 workflow runs
141 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add QCheck2.Gen.recursive build #687: Pull request #420 opened by tmcgilchrist
17m 2s tmcgilchrist:feature/gen-recursive
tmcgilchrist:feature/gen-recursive
17m 2s
Merge pull request #416 from c-cube/dependabot/github_actions/actions… build #686: Commit 77ef95f pushed by jmid
19m 13s main
main
19m 13s
Merge pull request #419 from jmid/ci-add-55 build #685: Commit 00533ba pushed by jmid
14m 7s main
main
14m 7s
Bump actions/checkout from 1 to 7 build #684: Pull request #416 synchronize by jmid
17m 59s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
17m 59s
Merge pull request #417 from c-cube/dependabot/github_actions/actions… build #683: Commit 33b9a36 pushed by jmid
17m 57s main
main
17m 57s
Add a ocaml.5.5 entry to CI test workflows build #682: Pull request #419 opened by jmid
17m 46s jmid:ci-add-55
jmid:ci-add-55
17m 46s
Merge pull request #418 from jmid/remove-32bit build #681: Commit b8007e6 pushed by jmid
8m 28s main
main
8m 28s
Remove 32-bit from internal test suite build #680: Pull request #418 opened by jmid
8m 7s jmid:remove-32bit
jmid:remove-32bit
8m 7s
Merge pull request #409 from Niols/qcheck-in-mli build #679: Commit 4f495fa pushed by jmid
17m 36s main
main
17m 36s
Add [@@deriving qcheck] support in interface files build #678: Pull request #409 synchronize by jmid
6m 53s Niols:qcheck-in-mli
Niols:qcheck-in-mli
6m 53s
Add [@@deriving qcheck] support in interface files build #677: Pull request #409 synchronize by jmid
15m 44s Niols:qcheck-in-mli
Niols:qcheck-in-mli
15m 44s
Bump actions/cache from 5 to 6 build #676: Pull request #417 opened by dependabot Bot
18m 26s dependabot/github_actions/actions/cache-6
dependabot/github_actions/actions/cache-6
18m 26s
Bump actions/checkout from 1 to 7 build #675: Pull request #416 opened by dependabot Bot
16m 44s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
16m 44s
Merge pull request #411 from jmid/implication-doc-warning build #674: Commit 6cdd840 pushed by jmid
7m 11s main
main
7m 11s
Add doc warning about ==> precedence build #672: Pull request #411 synchronize by jmid
11m 26s jmid:implication-doc-warning
jmid:implication-doc-warning
11m 26s
Merge pull request #410 from alpaylan/fix/count-overflow build #671: Commit 67d0376 pushed by jmid
8m 35s main
main
8m 35s
fix the overflow at (https://github.com/c-cube/qcheck/issues/408) build #670: Pull request #410 synchronize by alpaylan
8m 39s alpaylan:fix/count-overflow
alpaylan:fix/count-overflow
8m 39s
fix the overflow at (https://github.com/c-cube/qcheck/issues/408) build #669: Pull request #410 synchronize by alpaylan
7m 52s alpaylan:fix/count-overflow
alpaylan:fix/count-overflow
7m 52s
Add doc warning about ==> precedence build #668: Pull request #411 synchronize by jmid
18m 24s jmid:implication-doc-warning
jmid:implication-doc-warning
18m 24s
Merge pull request #412 from jmid/remove-408-in-ci build #667: Commit 4364c4b pushed by jmid
20m 30s main
main
20m 30s
Bump CI lower bound to 4.11 as 4.08 has been retired from the opam-repo build #666: Pull request #412 opened by jmid
21m 6s jmid:remove-408-in-ci
jmid:remove-408-in-ci
21m 6s
Add doc warning about ==> precedence build #665: Pull request #411 opened by jmid
17m 23s jmid:implication-doc-warning
jmid:implication-doc-warning
17m 23s
fix the overflow at (https://github.com/c-cube/qcheck/issues/408) build #662: Pull request #410 opened by alpaylan
21m 45s alpaylan:fix/count-overflow
alpaylan:fix/count-overflow
21m 45s
Add [@@deriving qcheck] support in interface files build #661: Pull request #409 opened by Niols
18m 54s Niols:qcheck-in-mli
Niols:qcheck-in-mli
18m 54s
Merge pull request #406 from giltho/doc-weights build #660: Commit 7a70422 pushed by jmid
19m 4s main
main
19m 4s