Skip to content

Actions: ocaml-multicore/multicoretests

Cygwin trunk

Actions

Loading...

Show workflow options

Create status badge

75 workflow runs
75 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Merge pull request #460 from ocaml-multicore/move-to-520
Cygwin trunk #75: Commit f1533b8 pushed by jmid
May 21, 2024 06:04 2h 2m 45s main
May 21, 2024 06:04 2h 2m 45s
Move GA workflows from 5.2.0~beta2 to 5.2.0 release
Cygwin trunk #74: Pull request #460 opened by jmid
May 20, 2024 21:06 2h 0m 2s move-to-520
May 20, 2024 21:06 2h 0m 2s
Add Sys.is_directory, Sys.remove and Sys.rename
Cygwin trunk #73: Pull request #304 synchronize by jmid
May 17, 2024 16:20 1h 51m 10s add-sys-is-dir
May 17, 2024 16:20 1h 51m 10s
REMOVE ME: temporarily disable parallel tests
Cygwin trunk #72: Commit 816ef98 pushed by jmid
May 17, 2024 14:01 45m 18s unix-tests-rebased
May 17, 2024 14:01 45m 18s
REMOVE ME: trigger CI run on push
Cygwin trunk #71: Commit 6064cf5 pushed by jmid
May 17, 2024 13:54 8m 11s unix-tests-rebased
May 17, 2024 13:54 8m 11s
Merge pull request #458 from ocaml-multicore/macos-archs
Cygwin trunk #70: Commit dda5ff6 pushed by jmid
May 17, 2024 13:04 2h 32m 26s main
May 17, 2024 13:04 2h 32m 26s
REMOVE ME: trigger CI on push
Cygwin trunk #69: Commit 594f5a3 pushed by jmid
May 17, 2024 11:58 1h 15m 26s focus-domain-spawntree
May 17, 2024 11:58 1h 15m 26s
Add explicit macOS Intel+ARM64 runners
Cygwin trunk #68: Pull request #458 synchronize by jmid
May 17, 2024 09:32 2h 5m 20s macos-archs
May 17, 2024 09:32 2h 5m 20s
Add explicit macOS Intel+ARM64 runners
Cygwin trunk #67: Pull request #458 synchronize by jmid
May 16, 2024 16:12 1h 56m 6s macos-archs
May 16, 2024 16:12 1h 56m 6s
Add explicit macOS Intel+ARM64 runners
Cygwin trunk #66: Pull request #458 opened by jmid
May 16, 2024 14:04 2h 6m 23s macos-archs
May 16, 2024 14:04 2h 6m 23s
Reuse domains rather than spawning them for each parallel test
Cygwin trunk #65: Pull request #457 synchronize by jmid
May 15, 2024 14:44 1h 16m 18s OlivierNicole:reuse_domains
May 15, 2024 14:44 1h 16m 18s
Add Sys.is_directory, Sys.remove and Sys.rename
Cygwin trunk #64: Pull request #304 synchronize by jmid
May 15, 2024 12:35 1h 55m 24s add-sys-is-dir
May 15, 2024 12:35 1h 55m 24s
Reuse domains rather than spawning them for each parallel test
Cygwin trunk #63: Pull request #457 synchronize by jmid
May 3, 2024 15:13 1h 20m 23s OlivierNicole:reuse_domains
May 3, 2024 15:13 1h 20m 23s
Specifications can be terser through more type trickery
Cygwin trunk #56: Pull request #456 synchronize by OlivierNicole
April 26, 2024 15:15 29m 50s OlivierNicole:more_types
April 26, 2024 15:15 29m 50s
Add Sys.is_directory, Sys.remove and Sys.rename
Cygwin trunk #54: Pull request #304 synchronize by jmid
April 23, 2024 16:12 24m 13s add-sys-is-dir
April 23, 2024 16:12 24m 13s
Add Sys.is_directory, Sys.remove and Sys.rename
Cygwin trunk #53: Pull request #304 synchronize by jmid
April 22, 2024 13:44 1h 26m 44s add-sys-is-dir
April 22, 2024 13:44 1h 26m 44s
Add Sys.is_directory, Sys.remove and Sys.rename
Cygwin trunk #52: Pull request #304 synchronize by jmid
April 22, 2024 11:55 1h 38m 54s add-sys-is-dir
April 22, 2024 11:55 1h 38m 54s