Skip to content

Actions: ocaml-multicore/multicoretests

Actions

Linux 5.1

Actions

Loading...

Show workflow options

Create status badge

297 workflow runs
297 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Document that next_state is run more than once Linux 5.1 #250: Commit c549513 pushed by jmid
October 9, 2023 21:16 34m 45s catch-next-state-exc
catch-next-state-exc
October 9, 2023 21:16 34m 45s
CI: Add native and bytecode workflows using MSVC Linux 5.1 #249: Pull request #399 synchronize by shym
October 6, 2023 20:17 28m 36s shym:msvc-workflows
shym:msvc-workflows
October 6, 2023 20:17 28m 36s
CI: Add native and bytecode workflows using MSVC Linux 5.1 #248: Pull request #399 opened by shym
October 6, 2023 15:04 31m 9s shym:msvc-workflows
shym:msvc-workflows
October 6, 2023 15:04 31m 9s
Target PR12193 Linux 5.1 #247: Commit 110f14c pushed by jmid
September 27, 2023 10:55 32m 30s try-pr12193
try-pr12193
September 27, 2023 10:55 32m 30s
Move work module to src/ Linux 5.1 #246: Commit 1f6dccf pushed by jmid
September 26, 2023 15:43 31m 10s unify-thread-domain
unify-thread-domain
September 26, 2023 15:43 31m 10s
Merge pull request #398 from ocaml-multicore/bump-to-510 Linux 5.1 #245: Commit e59e763 pushed by jmid
September 21, 2023 20:55 28m 40s main
main
September 21, 2023 20:55 28m 40s
Bump 510 workflows to the 5.1.0 release Linux 5.1 #244: Pull request #398 opened by jmid
September 21, 2023 10:21 32m 4s bump-to-510
bump-to-510
September 21, 2023 10:21 32m 4s
Mark the Frame pointer Effect issue as fixed Linux 5.1 #243: Commit eb3c5e5 pushed by jmid
September 21, 2023 07:00 39m 35s bump-to-510
bump-to-510
September 21, 2023 07:00 39m 35s
Remove irrelevant workflows Linux 5.1 #242: Commit 91bb561 pushed by jmid
September 20, 2023 14:30 30m 22s try-spin-barriers
try-spin-barriers
September 20, 2023 14:30 30m 22s
Merge pull request #396 from ocaml-multicore/lin-renaming Linux 5.1 #241: Commit abdb794 pushed by jmid
September 20, 2023 12:09 31m 48s main
main
September 20, 2023 12:09 31m 48s
Merge pull request #395 from ocaml-multicore/add-latest-issues Linux 5.1 #240: Commit 9d65779 pushed by jmid
September 13, 2023 07:35 38m 3s main
main
September 13, 2023 07:35 38m 3s
Chore: renaming Lin Internal tests Linux 5.1 #239: Pull request #396 opened by jmid
September 12, 2023 21:26 2h 18m 28s lin-renaming
lin-renaming
September 12, 2023 21:26 2h 18m 28s
Update src/README with renaming Linux 5.1 #238: Commit c332d03 pushed by jmid
September 12, 2023 21:19 1h 9m 34s lin-renaming
lin-renaming
September 12, 2023 21:19 1h 9m 34s
Rename to Lin.Internal in src/neg_tests Linux 5.1 #237: Commit cb27759 pushed by jmid
September 12, 2023 21:15 38m 14s lin-renaming
lin-renaming
September 12, 2023 21:15 38m 14s
Add latest issues to README Linux 5.1 #236: Pull request #395 opened by jmid
September 12, 2023 13:37 1h 14m 12s add-latest-issues
add-latest-issues
September 12, 2023 13:37 1h 14m 12s
Rewrite 'young', 'recent' and 'OCaml 5.0' Linux 5.1 #235: Commit 720905e pushed by jmid
September 12, 2023 13:35 28m 20s add-latest-issues
add-latest-issues
September 12, 2023 13:35 28m 20s
Merge pull request #392 from ocaml-multicore/add-domain-dls-tests Linux 5.1 #234: Commit 9149a8f pushed by jmid
September 12, 2023 08:45 32m 1s main
main
September 12, 2023 08:45 32m 1s
Add Lin Domain.DLS test Linux 5.1 #233: Pull request #392 synchronize by jmid
September 11, 2023 13:08 45m 49s add-domain-dls-tests
add-domain-dls-tests
September 11, 2023 13:08 45m 49s
Disable the initial Lin DLS test Linux 5.1 #232: Commit dd95793 pushed by jmid
September 11, 2023 13:08 30m 0s add-domain-dls-tests
add-domain-dls-tests
September 11, 2023 13:08 30m 0s
Add Lin Domain.DLS test Linux 5.1 #231: Pull request #392 synchronize by jmid
September 11, 2023 07:46 1h 14m 11s add-domain-dls-tests
add-domain-dls-tests
September 11, 2023 07:46 1h 14m 11s
REMOVE ME: focus on src/domain/stm_tests_dsl_dls.exe Linux 5.1 #230: Commit ae5ad69 pushed by jmid
September 11, 2023 07:46 56m 33s add-domain-dls-tests
add-domain-dls-tests
September 11, 2023 07:46 56m 33s
Merge pull request #393 from ocaml-multicore/switch-510-to-rc3 Linux 5.1 #229: Commit 5518469 pushed by jmid
September 11, 2023 07:41 33m 55s main
main
September 11, 2023 07:41 33m 55s
Switch 5.1.0 GitHub action workflows to 5.1.0~rc3 Linux 5.1 #228: Pull request #393 opened by jmid
September 8, 2023 09:51 1h 23m 6s switch-510-to-rc3
switch-510-to-rc3
September 8, 2023 09:51 1h 23m 6s
Upgrade Mingw and Cygwin workflow to 5.1.0~rc3 Linux 5.1 #227: Commit b630d0f pushed by jmid
September 8, 2023 09:43 32m 29s switch-510-to-rc3
switch-510-to-rc3
September 8, 2023 09:43 32m 29s
Add Lin Domain.DLS test Linux 5.1 #226: Pull request #392 opened by jmid
September 7, 2023 16:54 1h 59m 57s add-domain-dls-tests
add-domain-dls-tests
September 7, 2023 16:54 1h 59m 57s