Skip to content

Actions: ocaml-multicore/multicoretests

Actions

Cygwin 5.1

Actions

Loading...

Show workflow options

Create status badge

283 workflow runs
283 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
In_channel: Generate and shrink bytes only on length Cygwin 5.1 #161: Pull request #375 synchronize by shym
July 13, 2023 13:56 2h 2m 14s shym:faster-in-chan
shym:faster-in-chan
July 13, 2023 13:56 2h 2m 14s
In_channel: Generate and shrink bytes only on length Cygwin 5.1 #160: Pull request #375 opened by shym
July 13, 2023 13:43 13m 44s shym:faster-in-chan
shym:faster-in-chan
July 13, 2023 13:43 13m 44s
Add Sys.is_directory, Sys.remove and Sys.rename Cygwin 5.1 #159: Pull request #304 synchronize by jmid
July 13, 2023 13:02 3h 39m 13s add-sys-is-dir
add-sys-is-dir
July 13, 2023 13:02 3h 39m 13s
REMOVE ME: focus on src/sys/stm_tests Cygwin 5.1 #158: Commit b3a036f pushed by jmid
July 13, 2023 13:02 3h 59m 34s add-sys-is-dir
add-sys-is-dir
July 13, 2023 13:02 3h 59m 34s
Merge pull request #372 from ocaml-multicore/weak-hashset-adjustment Cygwin 5.1 #157: Commit de0d268 pushed by jmid
July 11, 2023 11:06 9h 37m 50s main
main
July 11, 2023 11:06 9h 37m 50s
Weak hashset adjustment Cygwin 5.1 #156: Pull request #372 opened by jmid
July 10, 2023 16:29 9h 38m 43s weak-hashset-adjustment
weak-hashset-adjustment
July 10, 2023 16:29 9h 38m 43s
Remove OCD-triggering space :-) Cygwin 5.1 #155: Commit 60b5b4c pushed by jmid
July 10, 2023 16:18 12h 2m 20s weak-hashset-adjustment
weak-hashset-adjustment
July 10, 2023 16:18 12h 2m 20s
Target PR12193 Cygwin 5.1 #154: Commit f240edd pushed by jmid
July 10, 2023 15:29 42m 30s try-pr12193
try-pr12193
July 10, 2023 15:29 42m 30s
Merge pull request #370 from ocaml-multicore/io-lin-revision Cygwin 5.1 #153: Commit ec598c6 pushed by jmid
July 7, 2023 16:42 11h 18m 20s main
main
July 7, 2023 16:42 11h 18m 20s
Merge pull request #366 from shym/dune-onetest Cygwin 5.1 #152: Commit 9cb4f47 pushed by jmid
July 6, 2023 20:55 9h 59m 53s main
main
July 6, 2023 20:55 9h 59m 53s
In/Out_channel Lin test revision Cygwin 5.1 #151: Pull request #370 synchronize by jmid
July 6, 2023 14:15 10h 30m 56s io-lin-revision
io-lin-revision
July 6, 2023 14:15 10h 30m 56s
Use bytes_small for shorter counterexample shrinking Cygwin 5.1 #150: Commit 64a4cfc pushed by jmid
July 6, 2023 14:15 10h 16m 13s io-lin-revision
io-lin-revision
July 6, 2023 14:15 10h 16m 13s
Merge pull request #371 from ocaml-multicore/add-510beta1 Cygwin 5.1 #149: Commit 7262577 pushed by jmid
July 6, 2023 11:02 10h 52m 9s main
main
July 6, 2023 11:02 10h 52m 9s
Move GitHub actions to test 5.1.0~beta1 Cygwin 5.1 #148: Pull request #371 opened by jmid
July 5, 2023 13:40 8h 13m 49s add-510beta1
add-510beta1
July 5, 2023 13:40 8h 13m 49s
Update MingW and Cygwin workflows Cygwin 5.1 #147: Commit 95d776c pushed by jmid
July 5, 2023 12:45 9h 8m 39s add-510beta1
add-510beta1
July 5, 2023 12:45 9h 8m 39s
More Out_channel STM hacking Cygwin 5.1 #146: Commit 3dea2f6 pushed by jmid
July 3, 2023 22:31 11h 38m 11s io-stm-tests
io-stm-tests
July 3, 2023 22:31 11h 38m 11s
Update src/README.md overview Cygwin 5.1 #145: Commit eeb3a55 pushed by jmid
July 3, 2023 21:26 10h 10m 49s main
main
July 3, 2023 21:26 10h 10m 49s
Teach dune to focus on one particular test Cygwin 5.1 #144: Pull request #366 synchronize by shym
July 3, 2023 12:10 4h 29m 38s shym:dune-onetest
shym:dune-onetest
July 3, 2023 12:10 4h 29m 38s
Teach dune to focus on one particular test Cygwin 5.1 #143: Pull request #366 synchronize by shym
July 3, 2023 12:09 1m 2s shym:dune-onetest
shym:dune-onetest
July 3, 2023 12:09 1m 2s
In/Out_channel Lin test revision Cygwin 5.1 #142: Pull request #370 synchronize by jmid
June 22, 2023 12:14 10h 28m 44s io-lin-revision
io-lin-revision
June 22, 2023 12:14 10h 28m 44s
Use bytes_small for shorter counterexample shrinking Cygwin 5.1 #141: Commit 041c177 pushed by jmid
June 22, 2023 12:14 7h 9m 52s io-lin-revision
io-lin-revision
June 22, 2023 12:14 7h 9m 52s
In/Out_channel Lin test revision Cygwin 5.1 #140: Pull request #370 opened by jmid
June 21, 2023 13:40 13h 10m 4s io-lin-revision
io-lin-revision
June 21, 2023 13:40 13h 10m 4s
Increase Lin Out_channel iteration count Cygwin 5.1 #139: Commit b8cc4bf pushed by jmid
June 21, 2023 13:30 15h 18m 8s io-lin-revision
io-lin-revision
June 21, 2023 13:30 15h 18m 8s
Add missing Bytes signatures Cygwin 5.1 #138: Commit d8c79a3 pushed by jmid
June 21, 2023 12:36 11h 58m 54s generic-stats
generic-stats
June 21, 2023 12:36 11h 58m 54s
Add the possibility to compute statistics Cygwin 5.1 #137: Pull request #369 opened by shym
June 21, 2023 12:16 13h 14m 47s shym:stats
shym:stats
June 21, 2023 12:16 13h 14m 47s