Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

3.21.0~alpha5 Docker Release #8: Release 3.21.0_alpha5 published by shonfeder
2m 21s
2m 21s
Add a test for multiple contexts with Dune package management CI #36266: Pull request #13217 opened by Sudha247
32m 19s Sudha247:context-pkg-test
Sudha247:context-pkg-test
32m 19s
pages build and deployment pages-build-deployment #14847: by github-pages bot
2m 20s gh-pages
gh-pages
2m 20s
pages build and deployment pages-build-deployment #14846: by github-pages bot
12s gh-pages
gh-pages
12s
pages build and deployment pages-build-deployment #14845: by github-pages bot
2m 46s gh-pages
gh-pages
2m 46s
Reproduction test for multiple-pin-depends bug (#12991) CI #36265: Commit 8550590 pushed by Alizter
29m 33s main
main
29m 33s
Reproduction test for multiple-pin-depends bug (#12991) Build time benchmarks #4114: Commit 8550590 pushed by Alizter
14m 34s main
main
14m 34s
Reproduction test for multiple-pin-depends bug CI #36264: Pull request #12991 synchronize by ElectreAAS
29m 21s ElectreAAS:push-ymqmxwuqqwmq
ElectreAAS:push-ymqmxwuqqwmq
29m 21s
Make Resolved_package API consistently take an OpamFile.OPAM.t CI #36263: Pull request #13216 opened by Leonidas-from-XIV
27m 17s Leonidas-from-XIV:refactor-resolved-package-api
Leonidas-from-XIV:refactor-resolved-package-api
27m 17s
pages build and deployment pages-build-deployment #14844: by github-pages bot
41s gh-pages
gh-pages
41s
pages build and deployment pages-build-deployment #14843: by github-pages bot
12s gh-pages
gh-pages
12s
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