Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14,850 workflow runs
14,850 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: simplify seal CI #29762: Pull request #11384 opened by rgrinberg
January 24, 2025 21:28 16m 54s ps/rr/refactor__simplify_seal
ps/rr/refactor__simplify_seal
January 24, 2025 21:28 16m 54s
pages build and deployment pages-build-deployment #10087: by github-pages bot
January 24, 2025 16:49 37s gh-pages
gh-pages
January 24, 2025 16:49 37s
pages build and deployment pages-build-deployment #10086: by github-pages bot
January 24, 2025 16:49 12s gh-pages
gh-pages
January 24, 2025 16:49 12s
pages build and deployment pages-build-deployment #10085: by github-pages bot
January 24, 2025 16:45 39s gh-pages
gh-pages
January 24, 2025 16:45 39s
pages build and deployment pages-build-deployment #10084: by github-pages bot
January 24, 2025 16:43 36s gh-pages
gh-pages
January 24, 2025 16:43 36s
Revert "pkg: add repro for gh11375 (#11376)" (#11379) CI #29761: Commit 39c9727 pushed by Leonidas-from-XIV
January 24, 2025 16:35 15m 7s main
main
January 24, 2025 16:35 15m 7s
Revert "pkg: add repro for gh11375 (#11376)" (#11379) Build time benchmarks #2816: Commit 39c9727 pushed by Leonidas-from-XIV
January 24, 2025 16:35 14m 9s main
main
January 24, 2025 16:35 14m 9s
Menhir in qualified subdirectory doesn't see modules from the same directory CI #29760: Pull request #11382 opened by Niols
January 24, 2025 15:29 14m 48s Niols:menhir-qualified-subdir-other-modules
Niols:menhir-qualified-subdir-other-modules
January 24, 2025 15:29 14m 48s
Revert "pkg: add repro for gh11375" CI #29759: Pull request #11379 synchronize by Leonidas-from-XIV
January 24, 2025 14:05 9m 14s revert-11376-repro-11375
revert-11376-repro-11375
January 24, 2025 14:05 9m 14s
pages build and deployment pages-build-deployment #10083: by github-pages bot
January 24, 2025 13:28 40s gh-pages
gh-pages
January 24, 2025 13:28 40s
pages build and deployment pages-build-deployment #10082: by github-pages bot
January 24, 2025 13:27 10s gh-pages
gh-pages
January 24, 2025 13:27 10s
refactor: remove force lazy from findlib CI #29758: Pull request #11381 opened by art-w
January 24, 2025 13:26 21m 36s art-w:findlib-remove-lazy
art-w:findlib-remove-lazy
January 24, 2025 13:26 21m 36s
pages build and deployment pages-build-deployment #10081: by github-pages bot
January 24, 2025 13:24 37s gh-pages
gh-pages
January 24, 2025 13:24 37s
pages build and deployment pages-build-deployment #10080: by github-pages bot
January 24, 2025 13:21 36s gh-pages
gh-pages
January 24, 2025 13:21 36s
Optimize findlib cache with physical equality (#11380) Build time benchmarks #2815: Commit 1b94605 pushed by rgrinberg
January 24, 2025 13:14 13m 57s main
main
January 24, 2025 13:14 13m 57s
Optimize findlib cache with physical equality (#11380) CI #29757: Commit 1b94605 pushed by rgrinberg
January 24, 2025 13:14 16m 34s main
main
January 24, 2025 13:14 16m 34s
Optimize findlib cache CI #29756: Pull request #11380 synchronize by art-w
January 24, 2025 13:03 15m 10s art-w:optim-findlib
art-w:optim-findlib
January 24, 2025 13:03 15m 10s
Optimize findlib cache CI #29755: Pull request #11380 synchronize by art-w
January 24, 2025 11:36 16m 5s art-w:optim-findlib
art-w:optim-findlib
January 24, 2025 11:36 16m 5s
Optimize findlib cache CI #29754: Pull request #11380 opened by art-w
January 24, 2025 11:34 2m 26s art-w:optim-findlib
art-w:optim-findlib
January 24, 2025 11:34 2m 26s
Revert "pkg: add repro for gh11375" CI #29753: Pull request #11379 opened by Leonidas-from-XIV
January 24, 2025 10:38 15m 2s revert-11376-repro-11375
revert-11376-repro-11375
January 24, 2025 10:38 15m 2s
pages build and deployment pages-build-deployment #10079: by github-pages bot
January 24, 2025 09:25 40s gh-pages
gh-pages
January 24, 2025 09:25 40s
pages build and deployment pages-build-deployment #10078: by github-pages bot
January 24, 2025 09:25 11s gh-pages
gh-pages
January 24, 2025 09:25 11s
pages build and deployment pages-build-deployment #10077: by github-pages bot
January 24, 2025 09:21 38s gh-pages
gh-pages
January 24, 2025 09:21 38s
pages build and deployment pages-build-deployment #10076: by github-pages bot
January 24, 2025 09:19 44s gh-pages
gh-pages
January 24, 2025 09:19 44s
pkg: add repro for gh11375 (#11376) Build time benchmarks #2814: Commit 2445e90 pushed by Leonidas-from-XIV
January 24, 2025 09:11 14m 7s main
main
January 24, 2025 09:11 14m 7s