Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,628 workflow runs
9,628 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

nix: update flake CI #30261: Pull request #11577 synchronize by Alizter
March 28, 2025 16:22 19m 4s Alizter:update-nix
Alizter:update-nix
March 28, 2025 16:22 19m 4s
pages build and deployment pages-build-deployment #10539: by github-pages bot
March 28, 2025 16:13 41s gh-pages
gh-pages
March 28, 2025 16:13 41s
pages build and deployment pages-build-deployment #10538: by github-pages bot
March 28, 2025 16:13 12s gh-pages
gh-pages
March 28, 2025 16:13 12s
pages build and deployment pages-build-deployment #10537: by github-pages bot
March 28, 2025 16:09 43s gh-pages
gh-pages
March 28, 2025 16:09 43s
nix: update flake CI #30260: Pull request #11577 opened by Alizter
March 28, 2025 16:07 14m 48s Alizter:update-nix
Alizter:update-nix
March 28, 2025 16:07 14m 48s
pages build and deployment pages-build-deployment #10536: by github-pages bot
March 28, 2025 16:06 37s gh-pages
gh-pages
March 28, 2025 16:06 37s
Merge pull request #11576 from Alizter/fix-nix-warning CI #30259: Commit 9046038 pushed by Alizter
March 28, 2025 15:59 22m 12s main
main
March 28, 2025 15:59 22m 12s
Merge pull request #11576 from Alizter/fix-nix-warning Build time benchmarks #2930: Commit 9046038 pushed by Alizter
March 28, 2025 15:59 14m 15s main
main
March 28, 2025 15:59 14m 15s
nix: fix flake warning CI #30258: Pull request #11576 opened by Alizter
March 28, 2025 15:56 14m 13s Alizter:fix-nix-warning
Alizter:fix-nix-warning
March 28, 2025 15:56 14m 13s
[Reference manual/Coq] Fix label for VERNAC EXTEND CI #30257: Pull request #11235 synchronize by Alizter
March 28, 2025 15:12 Action required jajimajp:patch-1
jajimajp:patch-1
March 28, 2025 15:12 Action required
test: cram tests are run twice when both aliases are built CI #30256: Pull request #11547 synchronize by Alizter
March 28, 2025 14:04 30m 32s Alizter:bug-cram-double-run
Alizter:bug-cram-double-run
March 28, 2025 14:04 30m 32s
pages build and deployment pages-build-deployment #10535: by github-pages bot
March 28, 2025 14:02 45s gh-pages
gh-pages
March 28, 2025 14:02 45s
pages build and deployment pages-build-deployment #10534: by github-pages bot
March 28, 2025 14:02 13s gh-pages
gh-pages
March 28, 2025 14:02 13s
pages build and deployment pages-build-deployment #10533: by github-pages bot
March 28, 2025 13:58 35s gh-pages
gh-pages
March 28, 2025 13:58 35s
pages build and deployment pages-build-deployment #10532: by github-pages bot
March 28, 2025 13:56 39s gh-pages
gh-pages
March 28, 2025 13:56 39s
Windows: retry a file remove - a virus checker might lock files (#11437) Build time benchmarks #2929: Commit 7aa4a7e pushed by nojb
March 28, 2025 13:48 14m 19s main
main
March 28, 2025 13:48 14m 19s
Windows: retry a file remove - a virus checker might lock files (#11437) CI #30255: Commit 7aa4a7e pushed by nojb
March 28, 2025 13:48 17m 38s main
main
March 28, 2025 13:48 17m 38s
pages build and deployment pages-build-deployment #10531: by github-pages bot
March 28, 2025 13:33 40s gh-pages
gh-pages
March 28, 2025 13:33 40s
pages build and deployment pages-build-deployment #10530: by github-pages bot
March 28, 2025 13:33 12s gh-pages
gh-pages
March 28, 2025 13:33 12s
pages build and deployment pages-build-deployment #10529: by github-pages bot
March 28, 2025 13:29 38s gh-pages
gh-pages
March 28, 2025 13:29 38s
pages build and deployment pages-build-deployment #10528: by github-pages bot
March 28, 2025 13:27 36s gh-pages
gh-pages
March 28, 2025 13:27 36s
Windows: retry a file remove - a virus checker might lock files CI #30254: Pull request #11437 synchronize by nojb
March 28, 2025 13:19 26m 12s MSoegtropIMC:windows-retry-file-remove-main
MSoegtropIMC:windows-retry-file-remove-main
March 28, 2025 13:19 26m 12s
dune init: use full subcommand names (#11571) CI #30253: Commit b3ce869 pushed by rgrinberg
March 28, 2025 13:18 20m 11s main
main
March 28, 2025 13:18 20m 11s
dune init: use full subcommand names (#11571) Build time benchmarks #2928: Commit b3ce869 pushed by rgrinberg
March 28, 2025 13:18 14m 49s main
main
March 28, 2025 13:18 14m 49s
Windows: retry a file remove - a virus checker might lock files CI #30252: Pull request #11437 synchronize by nojb
March 28, 2025 13:14 5m 51s MSoegtropIMC:windows-retry-file-remove-main
MSoegtropIMC:windows-retry-file-remove-main
March 28, 2025 13:14 5m 51s