Skip to content

Actions: ocaml-multicore/multicoretests

Actions

MinGW 5.1

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #409 from ocaml-multicore/actions-update MinGW 5.1 #12: Commit 31d7bee pushed by jmid
November 9, 2023 19:35 1h 45m 50s main
main
November 9, 2023 19:35 1h 45m 50s
REMOVE ME: rm irrelevant workflows MinGW 5.1 #11: Commit 390c0de pushed by jmid
November 9, 2023 16:08 41m 47s lin_queue_focus
lin_queue_focus
November 9, 2023 16:08 41m 47s
Actions update MinGW 5.1 #10: Pull request #409 synchronize by jmid
November 9, 2023 08:48 2h 0m 11s actions-update
actions-update
November 9, 2023 08:48 2h 0m 11s
Also update checkout in gh-pages.yml and opam.yml workflows MinGW 5.1 #9: Commit c5412c4 pushed by jmid
November 9, 2023 08:48 4h 0m 20s actions-update
actions-update
November 9, 2023 08:48 4h 0m 20s
Actions update MinGW 5.1 #8: Pull request #409 opened by jmid
November 8, 2023 16:46 1h 32m 7s actions-update
actions-update
November 8, 2023 16:46 1h 32m 7s
Upgrade to cygwin/cygwin-install-action@v4 MinGW 5.1 #7: Commit 7cd616d pushed by jmid
November 8, 2023 15:57 1h 25m 15s actions-update
actions-update
November 8, 2023 15:57 1h 25m 15s
Merge pull request #408 from ocaml-multicore/lin-dsl-renaming MinGW 5.1 #6: Commit 71e9142 pushed by jmid
November 8, 2023 08:44 1h 47m 37s main
main
November 8, 2023 08:44 1h 47m 37s
Chore: Lin DSL test renaming MinGW 5.1 #5: Pull request #408 opened by jmid
November 7, 2023 14:14 4h 21m 16s lin-dsl-renaming
lin-dsl-renaming
November 7, 2023 14:14 4h 21m 16s
Update tmp prefix in io Lin/Lin_internal tests MinGW 5.1 #4: Commit 2148feb pushed by jmid
November 7, 2023 13:51 38m 27s lin-dsl-renaming
lin-dsl-renaming
November 7, 2023 13:51 38m 27s
Merge pull request #407 from ocaml-multicore/rename-win-workflows MinGW 5.1 #3: Commit bfc490f pushed by jmid
November 7, 2023 09:20 3h 31m 30s main
main
November 7, 2023 09:20 3h 31m 30s
Rename Windows workflows MinGW 5.1 #2: Pull request #407 opened by jmid
November 6, 2023 09:33 1h 7m 22s rename-win-workflows
rename-win-workflows
November 6, 2023 09:33 1h 7m 22s
Update README to use uniform '520-trunk' prefix MinGW 5.1 #1: Commit 2be700b pushed by jmid
November 6, 2023 09:23 1h 19m 0s rename-win-workflows
rename-win-workflows
November 6, 2023 09:23 1h 19m 0s