Skip to content

Actions: ocaml-multicore/multicore-magic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update CHANGES.md for 2.1.0 build-and-test #137: Commit 1c0e9d1 pushed by polytypic
December 24, 2023 11:27 6m 50s main
main
December 24, 2023 11:27 6m 50s
Update CHANGES.md for 2.1.0 build-and-test #136: Commit 70c12a7 pushed by polytypic
December 24, 2023 11:24 6m 58s main
main
December 24, 2023 11:24 6m 58s
Update CHANGES.md for 2.1.0 build-and-test #135: Commit 2fc53a4 pushed by polytypic
December 24, 2023 11:17 6m 51s main
main
December 24, 2023 11:17 6m 51s
Add Random.self_init to stress test domains build-and-test #134: Commit aa10637 pushed by polytypic
December 24, 2023 09:12 6m 46s main
main
December 24, 2023 09:12 6m 46s
pages build and deployment pages-build-deployment #48: by polytypic
December 23, 2023 22:34 33s gh-pages
gh-pages
December 23, 2023 22:34 33s
Add instantaneous_domain_index build-and-test #133: Commit 529e3e2 pushed by polytypic
December 23, 2023 22:34 7m 0s main
main
December 23, 2023 22:34 7m 0s
Add instantaneous_domain_index build-and-test #132: Pull request #10 synchronize by polytypic
December 23, 2023 22:25 7m 7s add-domain_index
add-domain_index
December 23, 2023 22:25 7m 7s
Add instantaneous_domain_index build-and-test #131: Pull request #10 synchronize by polytypic
December 23, 2023 22:05 7m 45s add-domain_index
add-domain_index
December 23, 2023 22:05 7m 45s
Add instantaneous_domain_index build-and-test #130: Pull request #10 synchronize by polytypic
December 23, 2023 21:48 7m 3s add-domain_index
add-domain_index
December 23, 2023 21:48 7m 3s
Add instantaneous_domain_index build-and-test #129: Pull request #10 synchronize by polytypic
December 23, 2023 21:42 7m 22s add-domain_index
add-domain_index
December 23, 2023 21:42 7m 22s
Add instantaneous_domain_index build-and-test #128: Pull request #10 synchronize by polytypic
December 23, 2023 21:31 8m 8s add-domain_index
add-domain_index
December 23, 2023 21:31 8m 8s
Add instantaneous_domain_index build-and-test #127: Pull request #10 synchronize by polytypic
December 23, 2023 21:27 7m 4s add-domain_index
add-domain_index
December 23, 2023 21:27 7m 4s
Add instantaneous_domain_index build-and-test #126: Pull request #10 synchronize by polytypic
December 23, 2023 21:14 6m 44s add-domain_index
add-domain_index
December 23, 2023 21:14 6m 44s
Add instantaneous_domain_index build-and-test #125: Pull request #10 synchronize by polytypic
December 23, 2023 18:27 6m 55s add-domain_index
add-domain_index
December 23, 2023 18:27 6m 55s
Also run Windows CI on 5.1.1 and use correct mingw sunset repository build-and-test #124: Commit 256b202 pushed by polytypic
December 23, 2023 10:21 12m 39s main
main
December 23, 2023 10:21 12m 39s
pages build and deployment pages-build-deployment #47: by polytypic
December 23, 2023 09:44 34s gh-pages
gh-pages
December 23, 2023 09:44 34s
Also run Windows CI on 5.1.1 and use correct mingw sunset repository build-and-test #123: Pull request #11 synchronize by polytypic
December 23, 2023 09:39 13m 1s fixing-windows-ci
fixing-windows-ci
December 23, 2023 09:39 13m 1s
Also run Windows CI on 5.1.1 and use correct mingw sunset repository build-and-test #122: Pull request #11 synchronize by polytypic
December 23, 2023 09:36 13m 56s fixing-windows-ci
fixing-windows-ci
December 23, 2023 09:36 13m 56s
Prevent CSE optimization on fenceless_get operations build-and-test #121: Commit f8d1155 pushed by polytypic
December 23, 2023 09:34 13m 12s main
main
December 23, 2023 09:34 13m 12s
Also run Windows CI on 5.1.1 and use correct mingw sunset repository build-and-test #120: Pull request #11 synchronize by polytypic
December 19, 2023 15:49 3m 21s fixing-windows-ci
fixing-windows-ci
December 19, 2023 15:49 3m 21s
Also run Windows CI on 5.1.1 and use correct mingw sunset repository build-and-test #119: Pull request #11 synchronize by polytypic
December 19, 2023 15:38 2m 50s fixing-windows-ci
fixing-windows-ci
December 19, 2023 15:38 2m 50s
Also run Windows CI on 5.1.1 and use correct mingw sunset repository build-and-test #118: Pull request #11 synchronize by polytypic
December 19, 2023 15:33 2m 8s fixing-windows-ci
fixing-windows-ci
December 19, 2023 15:33 2m 8s
Also run Windows CI on 5.1.1 and use correct mingw sunset repository build-and-test #117: Pull request #11 opened by polytypic
December 19, 2023 15:24 3m 56s fixing-windows-ci
fixing-windows-ci
December 19, 2023 15:24 3m 56s
Add instantaneous_domain_index build-and-test #116: Pull request #10 synchronize by polytypic
November 30, 2023 22:57 3m 48s add-domain_index
add-domain_index
November 30, 2023 22:57 3m 48s