Skip to content

Actions: ocaml-multicore/multicoretests

Linux 5.0.0

Actions

Loading...

Show workflow options

Create status badge

73 workflow runs
73 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Merge pull request #326 from shym/skip-out-mac
Linux 5.0.0 #1228: Commit 9095034 pushed by jmid
April 15, 2023 08:05 38m 26s main
April 15, 2023 08:05 38m 26s
Update issues
Linux 5.0.0 #1227: Pull request #328 opened by jmid
April 14, 2023 13:15 6h 27m 36s update-issues
April 14, 2023 13:15 6h 27m 36s
Add Sys.rename MingW issue
Linux 5.0.0 #1226: Commit 307d6c7 pushed by jmid
April 14, 2023 13:13 2h 35m 38s update-issues
April 14, 2023 13:13 2h 35m 38s
Disable the negative Out_channel tests on macOS
Linux 5.0.0 #1225: Pull request #326 synchronize by shym
April 14, 2023 10:54 3h 6m 9s shym:skip-out-mac
April 14, 2023 10:54 3h 6m 9s
Disable the negative Out_channel tests on macOS
Linux 5.0.0 #1224: Pull request #326 reopened by jmid
April 14, 2023 10:44 10m 52s shym:skip-out-mac
April 14, 2023 10:44 10m 52s
Merge branch 'main' into out-channel-freq-adjust
Linux 5.0.0 #1223: Commit 28edcc9 pushed by jmid
April 14, 2023 10:43 1h 52m 9s out-channel-freq-adjust
April 14, 2023 10:43 1h 52m 9s
Merge pull request #319 from ocaml-multicore/out-channel-freq-adjust
Linux 5.0.0 #1222: Commit 49cd0dd pushed by jmid
April 14, 2023 10:41 46m 36s main
April 14, 2023 10:41 46m 36s
Disable the negative Out_channel tests on macOS
Linux 5.0.0 #1221: Pull request #326 opened by shym
April 14, 2023 10:28 16m 12s shym:skip-out-mac
April 14, 2023 10:28 16m 12s
try with 5.1
Linux 5.0.0 #1220: Commit e5b0e9d pushed by jmid
April 14, 2023 09:24 9m 10s try-pr12131
April 14, 2023 09:24 9m 10s
Merge pull request #325 from shym/5.2
Linux 5.0.0 #1219: Commit dadac62 pushed by jmid
April 14, 2023 07:09 1h 2m 32s main
April 14, 2023 07:09 1h 2m 32s
give PR12131 a spin too
Linux 5.0.0 #1218: Commit 87c39cd pushed by jmid
April 13, 2023 18:01 45m 31s try-pr12131
April 13, 2023 18:01 45m 31s
Add agree_prop_par_asym to STM_domain
Linux 5.0.0 #1217: Pull request #315 synchronize by jmid
April 13, 2023 14:55 2h 48m 59s stm-add-agree_prop_par_asym
April 13, 2023 14:55 2h 48m 59s
Update the test case to the new interface
Linux 5.0.0 #1216: Commit 9b9372d pushed by jmid
April 13, 2023 14:55 2h 41m 30s stm-add-agree_prop_par_asym
April 13, 2023 14:55 2h 41m 30s
Out_channel frequency adjustment
Linux 5.0.0 #1215: Pull request #319 synchronize by jmid
April 13, 2023 14:11 1h 49m 54s out-channel-freq-adjust
April 13, 2023 14:11 1h 49m 54s
Merge branch 'main' into out-channel-freq-adjust
Linux 5.0.0 #1214: Commit 28edcc9 pushed by jmid
April 13, 2023 14:11 39m 23s out-channel-freq-adjust
April 13, 2023 14:11 39m 23s
Merge remote-tracking branch 'shym/5.2' into try-pr11903
Linux 5.0.0 #1213: Commit adec038 pushed by jmid
April 13, 2023 11:25 2h 10m 41s try-pr11903
April 13, 2023 11:25 2h 10m 41s
Merge pull request #316 from ocaml-multicore/fix-STM_thread-rep_count
Linux 5.0.0 #1212: Commit 0e91262 pushed by jmid
April 13, 2023 10:53 1h 28m 3s main
April 13, 2023 10:53 1h 28m 3s
Follow the update of trunk to 5.2
Linux 5.0.0 #1211: Pull request #325 opened by shym
April 13, 2023 10:30 52m 26s shym:5.2
April 13, 2023 10:30 52m 26s
try with 5.2
Linux 5.0.0 #1210: Commit dc2a195 pushed by jmid
April 13, 2023 08:37 9m 1s try-pr11903
April 13, 2023 08:37 9m 1s
give PR11903 a spin
Linux 5.0.0 #1209: Commit 6c263a7 pushed by jmid
April 13, 2023 08:22 6m 10s try-pr11903
April 13, 2023 08:22 6m 10s
Add Lin tests for Base.Buffer
Linux 5.0.0 #1208: Pull request #323 synchronize by shym
April 12, 2023 10:26 46m 32s shym:base-buffer
April 12, 2023 10:26 46m 32s
Add Lin tests for Base.Buffer
Linux 5.0.0 #1207: Pull request #323 synchronize by shym
April 11, 2023 11:09 51m 32s shym:base-buffer
April 11, 2023 11:09 51m 32s
Lin: Print commands that trigger unexpected exceptions
Linux 5.0.0 #1206: Pull request #324 opened by shym
April 6, 2023 11:14 1h 1m 36s shym:lin-unexpected-exc
April 6, 2023 11:14 1h 1m 36s
Add Lin tests for Base.Buffer
Linux 5.0.0 #1205: Pull request #323 opened by shym
April 6, 2023 10:16 4m 45s shym:base-buffer
April 6, 2023 10:16 4m 45s