Skip to content

Actions: ocaml-multicore/multicoretests

Linux trunk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
183 workflow runs
183 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge the CI workflows and stop using setup-ocaml
Linux trunk #8: Pull request #473 opened by shym
August 30, 2024 17:50 1m 28s shym:new-ci-common
August 30, 2024 17:50 1m 28s
Reduce STM.cmds_gen list size
Linux trunk #7: Pull request #472 synchronize by jmid
August 30, 2024 16:34 41m 19s stm-cmd-list-dist
August 30, 2024 16:34 41m 19s
Reduce STM.cmds_gen list size
Linux trunk #6: Pull request #472 synchronize by jmid
August 30, 2024 16:33 1m 40s stm-cmd-list-dist
August 30, 2024 16:33 1m 40s
Reduce STM.cmds_gen list size
Linux trunk #5: Pull request #472 synchronize by jmid
August 30, 2024 15:41 51m 59s stm-cmd-list-dist
August 30, 2024 15:41 51m 59s
Reduce STM.cmds_gen list size
Linux trunk #4: Pull request #472 opened by jmid
August 30, 2024 15:33 8m 2s stm-cmd-list-dist
August 30, 2024 15:33 8m 2s
Add gc tests
Linux trunk #3: Pull request #469 synchronize by jmid
August 29, 2024 09:11 25m 52s add-gc-tests
August 29, 2024 09:11 25m 52s
Merge pull request #471 from ocaml-multicore/add-5.4.0+trunk
Linux trunk #2: Commit 98e5b82 pushed by jmid
August 28, 2024 18:58 53m 47s main
August 28, 2024 18:58 53m 47s
Add 5.4.0+trunk workflows
Linux trunk #1: Pull request #471 opened by jmid
August 28, 2024 15:31 29m 24s add-5.4.0+trunk
August 28, 2024 15:31 29m 24s