Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16,686 workflow runs
16,686 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #14842: by github-pages bot
40s gh-pages
gh-pages
40s
refactor: merge dune_async_io and dune_scheduler (#13215) Build time benchmarks #4113: Commit c94dc66 pushed by rgrinberg
14m 45s main
main
14m 45s
refactor: merge dune_async_io and dune_scheduler (#13215) CI #36262: Commit c94dc66 pushed by rgrinberg
31m 27s main
main
31m 27s
refactor: merge dune_async_io and dune_scheduler CI #36261: Pull request #13215 opened by rgrinberg
27m 44s rgrinberg:push-onsnyozotklo
rgrinberg:push-onsnyozotklo
27m 44s
github_actions in /. - Update #1198283957 Dependabot Updates #26: by dependabot bot
49s main
main
49s
pages build and deployment pages-build-deployment #14841: by github-pages bot
38s gh-pages
gh-pages
38s
pages build and deployment pages-build-deployment #14840: by github-pages bot
12s gh-pages
gh-pages
12s
pages build and deployment pages-build-deployment #14839: by github-pages bot
43s gh-pages
gh-pages
43s
pages build and deployment pages-build-deployment #14838: by github-pages bot
33s gh-pages
gh-pages
33s
pages build and deployment pages-build-deployment #14837: by github-pages bot
12s gh-pages
gh-pages
12s
pages build and deployment pages-build-deployment #14836: by github-pages bot
40s gh-pages
gh-pages
40s
pages build and deployment pages-build-deployment #14835: by github-pages bot
41s gh-pages
gh-pages
41s
chore: move more unused libraries (#13214) CI #36260: Commit ef5b939 pushed by rgrinberg
1h 4m 8s main
main
1h 4m 8s
chore: move more unused libraries (#13214) Build time benchmarks #4112: Commit ef5b939 pushed by rgrinberg
14m 41s main
main
14m 41s
pages build and deployment pages-build-deployment #14834: by github-pages bot
12s gh-pages
gh-pages
12s
pages build and deployment pages-build-deployment #14833: by github-pages bot
39s gh-pages
gh-pages
39s
refactor: move test only functions to own module (#13213) Build time benchmarks #4111: Commit b66d658 pushed by rgrinberg
14m 32s main
main
14m 32s
refactor: move test only functions to own module (#13213) CI #36259: Commit b66d658 pushed by rgrinberg
5m 29s main
main
5m 29s
pages build and deployment pages-build-deployment #14832: by github-pages bot
42s gh-pages
gh-pages
42s
pages build and deployment pages-build-deployment #14831: by github-pages bot
12s gh-pages
gh-pages
12s
chore: move more unused libraries CI #36258: Pull request #13214 opened by rgrinberg
43m 15s rgrinberg:push-uspvyuuotnsl
rgrinberg:push-uspvyuuotnsl
43m 15s
refactor: move test only functions to own module CI #36257: Pull request #13213 opened by rgrinberg
34m 52s rgrinberg:push-onlznumpzwyq
rgrinberg:push-onlznumpzwyq
34m 52s
refactor: move Dune_scheduler.Trigger into own module (#13212) CI #36256: Commit 224bce1 pushed by rgrinberg
48m 24s main
main
48m 24s
refactor: move Dune_scheduler.Trigger into own module (#13212) Build time benchmarks #4110: Commit 224bce1 pushed by rgrinberg
14m 36s main
main
14m 36s
pages build and deployment pages-build-deployment #14830: by github-pages bot
40s gh-pages
gh-pages
40s