Skip to content

Actions: ocaml-multicore/multicoretests

Actions

Bytecode trunk

Actions

Loading...

Show workflow options

Create status badge

63 workflow runs
63 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Review: elaborate on parameters for all four test definitions Bytecode trunk #187: Commit b6a471a pushed by jmid
April 17, 2023 08:50 1h 38m 42s stm-add-agree_prop_par_asym
stm-add-agree_prop_par_asym
April 17, 2023 08:50 1h 38m 42s
Disable the negative Out_channel tests on macOS Bytecode trunk #186: Pull request #326 reopened by jmid
April 14, 2023 10:44 10m 52s shym:skip-out-mac
shym:skip-out-mac
April 14, 2023 10:44 10m 52s
Merge branch 'main' into out-channel-freq-adjust Bytecode trunk #185: Commit 28edcc9 pushed by jmid
April 14, 2023 10:43 2h 11m 16s out-channel-freq-adjust
out-channel-freq-adjust
April 14, 2023 10:43 2h 11m 16s
Disable the negative Out_channel tests on macOS Bytecode trunk #184: Pull request #326 opened by shym
April 14, 2023 10:28 16m 12s shym:skip-out-mac
shym:skip-out-mac
April 14, 2023 10:28 16m 12s
Add agree_prop_par_asym to STM_domain Bytecode trunk #183: Pull request #315 synchronize by jmid
April 13, 2023 14:55 4h 31m 22s stm-add-agree_prop_par_asym
stm-add-agree_prop_par_asym
April 13, 2023 14:55 4h 31m 22s
Update the test case to the new interface Bytecode trunk #182: Commit 9b9372d pushed by jmid
April 13, 2023 14:55 3h 19m 14s stm-add-agree_prop_par_asym
stm-add-agree_prop_par_asym
April 13, 2023 14:55 3h 19m 14s
Out_channel frequency adjustment Bytecode trunk #181: Pull request #319 synchronize by jmid
April 13, 2023 14:11 2h 9m 58s out-channel-freq-adjust
out-channel-freq-adjust
April 13, 2023 14:11 2h 9m 58s
Merge branch 'main' into out-channel-freq-adjust Bytecode trunk #180: Commit 28edcc9 pushed by jmid
April 13, 2023 14:11 1h 27m 29s out-channel-freq-adjust
out-channel-freq-adjust
April 13, 2023 14:11 1h 27m 29s
Merge pull request #316 from ocaml-multicore/fix-STM_thread-rep_count Bytecode trunk #179: Commit 0e91262 pushed by jmid
April 13, 2023 10:53 1h 9m 29s main
main
April 13, 2023 10:53 1h 9m 29s
try with 5.2 Bytecode trunk #178: Commit dc2a195 pushed by jmid
April 13, 2023 08:37 6m 26s try-pr11903
try-pr11903
April 13, 2023 08:37 6m 26s
give PR11903 a spin Bytecode trunk #177: Commit 6c263a7 pushed by jmid
April 13, 2023 08:22 5m 7s try-pr11903
try-pr11903
April 13, 2023 08:22 5m 7s
Add Lin tests for Base.Buffer Bytecode trunk #176: Pull request #323 synchronize by shym
April 12, 2023 10:26 6m 53s shym:base-buffer
shym:base-buffer
April 12, 2023 10:26 6m 53s
Add Lin tests for Base.Buffer Bytecode trunk #175: Pull request #323 synchronize by shym
April 11, 2023 11:09 1h 32m 10s shym:base-buffer
shym:base-buffer
April 11, 2023 11:09 1h 32m 10s
Lin: Print commands that trigger unexpected exceptions Bytecode trunk #174: Pull request #324 opened by shym
April 6, 2023 11:14 1h 29m 3s shym:lin-unexpected-exc
shym:lin-unexpected-exc
April 6, 2023 11:14 1h 29m 3s
Add Lin tests for Base.Buffer Bytecode trunk #173: Pull request #323 opened by shym
April 6, 2023 10:16 9m 30s shym:base-buffer
shym:base-buffer
April 6, 2023 10:16 9m 30s
Out_channel frequency adjustment Bytecode trunk #172: Pull request #319 synchronize by jmid
April 5, 2023 09:40 3h 0m 0s out-channel-freq-adjust
out-channel-freq-adjust
April 5, 2023 09:40 3h 0m 0s
Adjust frequency of Out_channel operations with comparable output Bytecode trunk #171: Commit 6814d72 pushed by jmid
April 5, 2023 09:40 1h 23m 55s out-channel-freq-adjust
out-channel-freq-adjust
April 5, 2023 09:40 1h 23m 55s
Add agree_prop_par_asym to STM_domain Bytecode trunk #170: Pull request #315 synchronize by jmid
April 3, 2023 15:40 2h 35m 4s stm-add-agree_prop_par_asym
stm-add-agree_prop_par_asym
April 3, 2023 15:40 2h 35m 4s
Update asym test to pull assume out of repeat-loop Bytecode trunk #169: Commit 230310a pushed by jmid
April 3, 2023 15:40 1h 33m 30s stm-add-agree_prop_par_asym
stm-add-agree_prop_par_asym
April 3, 2023 15:40 1h 33m 30s
Merge pull request #322 from ocaml-multicore/categorise-bugs Bytecode trunk #168: Commit 158b943 pushed by jmid
April 3, 2023 15:06 1h 13m 13s main
main
April 3, 2023 15:06 1h 13m 13s
Categorize issues Bytecode trunk #167: Pull request #322 opened by jmid
March 30, 2023 12:20 2h 1m 46s categorise-bugs
categorise-bugs
March 30, 2023 12:20 2h 1m 46s
Categorize issues Bytecode trunk #166: Commit 21346c6 pushed by jmid
March 30, 2023 12:11 1h 15m 18s categorise-bugs
categorise-bugs
March 30, 2023 12:11 1h 15m 18s
Fix rep_count in STM_thread Bytecode trunk #165: Pull request #316 synchronize by jmid
March 28, 2023 12:16 3h 16m 10s fix-STM_thread-rep_count
fix-STM_thread-rep_count
March 28, 2023 12:16 3h 16m 10s
add CHANGES entry Bytecode trunk #164: Commit 130a65f pushed by jmid
March 28, 2023 12:16 1h 54m 30s fix-STM_thread-rep_count
fix-STM_thread-rep_count
March 28, 2023 12:16 1h 54m 30s
Merge pull request #318 from ocaml-multicore/avoid-repetitive-interle… Bytecode trunk #163: Commit 871eeaf pushed by jmid
March 28, 2023 11:36 1h 15m 55s main
main
March 28, 2023 11:36 1h 15m 55s