Skip to content

Actions: ocaml-multicore/multicoretests

Actions

32bit 5.3

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-530-trunk-32bit.yml
252 workflow runs
252 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert distribution and print cmd list size 32bit 5.3 #202: Commit e961537 pushed by jmid
September 3, 2024 10:22 8m 10s domain-dls-32-bit-focus-stm-cmd-list-dist
domain-dls-32-bit-focus-stm-cmd-list-dist
September 3, 2024 10:22 8m 10s
Experiment: generate 1000-element cmd lists 32bit 5.3 #201: Commit 1180872 pushed by jmid
September 3, 2024 09:41 33m 11s domain-dls-32-bit-focus-stm-cmd-list-dist
domain-dls-32-bit-focus-stm-cmd-list-dist
September 3, 2024 09:41 33m 11s
Update expect test output 32bit 5.3 #200: Commit 7a985da pushed by jmid
September 3, 2024 09:18 9m 13s domain-dls-32-bit-focus-stm-cmd-list-dist
domain-dls-32-bit-focus-stm-cmd-list-dist
September 3, 2024 09:18 9m 13s
Switch STM.arb_cmds to use an exponential distribution, avoiding list… 32bit 5.3 #199: Commit 2f196e8 pushed by jmid
September 3, 2024 09:05 11m 32s domain-dls-32-bit-focus-stm-cmd-list-dist
domain-dls-32-bit-focus-stm-cmd-list-dist
September 3, 2024 09:05 11m 32s
Try without verbose output 32bit 5.3 #198: Commit da2d874 pushed by jmid
September 3, 2024 08:09 18m 40s domain-dls-32-bit-focus
domain-dls-32-bit-focus
September 3, 2024 08:09 18m 40s
Add 5.4.0+trunk workflow 32bit 5.3 #197: Commit be58377 pushed by jmid
September 3, 2024 07:43 19m 39s domain-dls-32-bit-focus
domain-dls-32-bit-focus
September 3, 2024 07:43 19m 39s
Reduce STM.cmds_gen list size 32bit 5.3 #196: Pull request #472 synchronize by jmid
September 2, 2024 07:47 1h 17m 47s stm-cmd-list-dist
stm-cmd-list-dist
September 2, 2024 07:47 1h 17m 47s
32bit 5.3 32bit 5.3 #195: Scheduled
September 2, 2024 02:54 55m 15s main
main
September 2, 2024 02:54 55m 15s
Merge the CI workflows and stop using setup-ocaml 32bit 5.3 #194: Pull request #473 synchronize by shym
August 30, 2024 17:51 2h 5m 8s shym:new-ci-common
shym:new-ci-common
August 30, 2024 17:51 2h 5m 8s
Merge the CI workflows and stop using setup-ocaml 32bit 5.3 #193: Pull request #473 opened by shym
August 30, 2024 17:50 1m 21s shym:new-ci-common
shym:new-ci-common
August 30, 2024 17:50 1m 21s
Fork the property to not bring down runner when crashing 32bit 5.3 #192: Commit 13c622e pushed by jmid
August 30, 2024 16:51 2h 7m 43s domain-dls-32-bit-focus
domain-dls-32-bit-focus
August 30, 2024 16:51 2h 7m 43s
Reduce STM.cmds_gen list size 32bit 5.3 #191: Pull request #472 synchronize by jmid
August 30, 2024 16:34 2h 35m 4s stm-cmd-list-dist
stm-cmd-list-dist
August 30, 2024 16:34 2h 35m 4s
Reduce STM.cmds_gen list size 32bit 5.3 #190: Pull request #472 synchronize by jmid
August 30, 2024 16:33 1m 40s stm-cmd-list-dist
stm-cmd-list-dist
August 30, 2024 16:33 1m 40s
Reduce STM.cmds_gen list size 32bit 5.3 #189: Pull request #472 synchronize by jmid
August 30, 2024 15:41 52m 9s stm-cmd-list-dist
stm-cmd-list-dist
August 30, 2024 15:41 52m 9s
Reduce STM.cmds_gen list size 32bit 5.3 #188: Pull request #472 opened by jmid
August 30, 2024 15:33 7m 59s stm-cmd-list-dist
stm-cmd-list-dist
August 30, 2024 15:33 7m 59s
Add gc tests 32bit 5.3 #187: Pull request #469 synchronize by jmid
August 29, 2024 09:11 2h 1m 33s add-gc-tests
add-gc-tests
August 29, 2024 09:11 2h 1m 33s
Merge pull request #471 from ocaml-multicore/add-5.4.0+trunk 32bit 5.3 #186: Commit 98e5b82 pushed by jmid
August 28, 2024 18:58 1h 38m 13s main
main
August 28, 2024 18:58 1h 38m 13s
Add 5.4.0+trunk workflows 32bit 5.3 #185: Pull request #471 opened by jmid
August 28, 2024 15:31 1h 50m 57s add-5.4.0+trunk
add-5.4.0+trunk
August 28, 2024 15:31 1h 50m 57s
Add gc tests 32bit 5.3 #184: Pull request #469 opened by jmid
August 27, 2024 16:02 1h 11m 52s add-gc-tests
add-gc-tests
August 27, 2024 16:02 1h 11m 52s
Add new 5.4 trunk workflow 32bit 5.3 #183: Commit 396e394 pushed by jmid
August 27, 2024 08:20 36m 24s domain-dls-32-bit-share-repro
domain-dls-32-bit-share-repro
August 27, 2024 08:20 36m 24s
Trigger CI on branch 32bit 5.3 #182: Commit fbec82d pushed by jmid
August 26, 2024 13:23 1h 3m 7s antonin-pthreads
antonin-pthreads
August 26, 2024 13:23 1h 3m 7s
32bit 5.3 32bit 5.3 #181: Scheduled
August 26, 2024 02:11 1h 1m 18s main
main
August 26, 2024 02:11 1h 1m 18s
32bit 5.3 32bit 5.3 #180: Scheduled
August 19, 2024 02:12 55m 48s main
main
August 19, 2024 02:12 55m 48s
Use checkout v1 to work around host/guest bug #334 32bit 5.3 #179: Commit 417d81a pushed by jmid
August 16, 2024 13:38 23s domain-dls-32-bit-focus-container
domain-dls-32-bit-focus-container
August 16, 2024 13:38 23s
Try in a 32-bit container instead, take 2 32bit 5.3 #178: Commit 5f89489 pushed by jmid
August 16, 2024 13:02 25s domain-dls-32-bit-focus-container
domain-dls-32-bit-focus-container
August 16, 2024 13:02 25s