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

Move [Dune_scheduler.Thread] to own module (#13207) Build time benchmarks #4105: Commit a641963 pushed by rgrinberg
14m 30s main
main
14m 30s
Move [Dune_scheduler.Thread] to own module (#13207) CI #36246: Commit a641963 pushed by rgrinberg
26m 35s main
main
26m 35s
pages build and deployment pages-build-deployment #14817: by github-pages bot
51s gh-pages
gh-pages
51s
pages build and deployment pages-build-deployment #14816: by github-pages bot
12s gh-pages
gh-pages
12s
pages build and deployment pages-build-deployment #14815: by github-pages bot
38s gh-pages
gh-pages
38s
Move [Dune_scheduler.Thread] to own module CI #36245: Pull request #13207 opened by rgrinberg
27m 11s rgrinberg:push-ntrrnxzqpkkn
rgrinberg:push-ntrrnxzqpkkn
27m 11s
test: build @install instead of @all (#13206) Build time benchmarks #4104: Commit c9b0b0c pushed by rgrinberg
14m 33s main
main
14m 33s
test: build @install instead of @all (#13206) CI #36244: Commit c9b0b0c pushed by rgrinberg
19m 48s main
main
19m 48s
pages build and deployment pages-build-deployment #14814: by github-pages bot
51s gh-pages
gh-pages
51s
pages build and deployment pages-build-deployment #14813: by github-pages bot
13s gh-pages
gh-pages
13s
pages build and deployment pages-build-deployment #14812: by github-pages bot
40s gh-pages
gh-pages
40s
test: inline tests whose only mode is byte (#13199) Build time benchmarks #4103: Commit 76c5f40 pushed by Alizter
14m 33s main
main
14m 33s
test: inline tests whose only mode is byte (#13199) CI #36243: Commit 76c5f40 pushed by Alizter
31m 43s main
main
31m 43s
pages build and deployment pages-build-deployment #14811: by github-pages bot
39s gh-pages
gh-pages
39s
pages build and deployment pages-build-deployment #14810: by github-pages bot
13s gh-pages
gh-pages
13s
Implement --target-exec CI #36242: Pull request #13112 synchronize by rgrinberg
27m 38s toots:target-exec-cli
toots:target-exec-cli
27m 38s
pages build and deployment pages-build-deployment #14809: by github-pages bot
40s gh-pages
gh-pages
40s
test: build @install instead of @all CI #36241: Pull request #13206 opened by rgrinberg
28m 33s rgrinberg:push-orywktlrykyw
rgrinberg:push-orywktlrykyw
28m 33s
test(odoc): remove --display short from tests (#13204) Build time benchmarks #4102: Commit c723cf4 pushed by rgrinberg
19m 31s main
main
19m 31s
test(odoc): remove --display short from tests (#13204) CI #36240: Commit c723cf4 pushed by rgrinberg
30m 0s main
main
30m 0s
pages build and deployment pages-build-deployment #14808: by github-pages bot
36s gh-pages
gh-pages
36s
pages build and deployment pages-build-deployment #14807: by github-pages bot
12s gh-pages
gh-pages
12s
test(odoc): remove --display short from tests CI #36239: Pull request #13204 synchronize by rgrinberg
25m 44s rgrinberg:push-vzqlvrpokytv
rgrinberg:push-vzqlvrpokytv
25m 44s
test(odoc): remove --display short from tests CI #36238: Pull request #13204 synchronize by rgrinberg
1m 18s rgrinberg:push-vzqlvrpokytv
rgrinberg:push-vzqlvrpokytv
1m 18s
pages build and deployment pages-build-deployment #14806: by github-pages bot
35s gh-pages
gh-pages
35s