Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,672 workflow runs
8,672 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: changelog for dune.3.18.1 CI #30410: Pull request #11635 synchronize by maiste
April 18, 2025 09:05 14m 26s maiste:chore/changelog-3.18.1
maiste:chore/changelog-3.18.1
April 18, 2025 09:05 14m 26s
Fix dune targets and dependencies CI #30409: Pull request #11570 synchronize by create2000
April 18, 2025 08:31 Action required create2000:fix/dune-targets
create2000:fix/dune-targets
April 18, 2025 08:31 Action required
Allow rpc-triggered builds in eager watch mode CI #30408: Pull request #11622 synchronize by gridbugs
April 18, 2025 06:33 14m 26s gridbugs:allow-rpc-build-in-eager-watch-mode
gridbugs:allow-rpc-build-in-eager-watch-mode
April 18, 2025 06:33 14m 26s
pages build and deployment pages-build-deployment #10619: by github-pages bot
April 17, 2025 21:05 1m 17s gh-pages
gh-pages
April 17, 2025 21:05 1m 17s
pages build and deployment pages-build-deployment #10618: by github-pages bot
April 17, 2025 21:05 11s gh-pages
gh-pages
April 17, 2025 21:05 11s
pages build and deployment pages-build-deployment #10617: by github-pages bot
April 17, 2025 21:01 44s gh-pages
gh-pages
April 17, 2025 21:01 44s
pages build and deployment pages-build-deployment #10616: by github-pages bot
April 17, 2025 20:58 37s gh-pages
gh-pages
April 17, 2025 20:58 37s
fix: bootstrap (#11636) Build time benchmarks #2950: Commit 0764b1a pushed by nojb
April 17, 2025 20:51 14m 20s main
main
April 17, 2025 20:51 14m 20s
fix: bootstrap (#11636) CI #30407: Commit 0764b1a pushed by nojb
April 17, 2025 20:51 17m 28s main
main
April 17, 2025 20:51 17m 28s
fix: bootstrap CI #30406: Pull request #11636 synchronize by nojb
April 17, 2025 20:50 15m 47s Alizter:fix-bootstrap
Alizter:fix-bootstrap
April 17, 2025 20:50 15m 47s
fix: bootstrap CI #30405: Pull request #11636 opened by Alizter
April 17, 2025 17:43 15m 40s Alizter:fix-bootstrap
Alizter:fix-bootstrap
April 17, 2025 17:43 15m 40s
chore: changelog for dune.3.18.1 CI #30404: Pull request #11635 opened by maiste
April 17, 2025 15:35 14m 35s maiste:chore/changelog-3.18.1
maiste:chore/changelog-3.18.1
April 17, 2025 15:35 14m 35s
[3.18] fix: missing keyword in changelog CI #30403: Pull request #11634 opened by maiste
April 17, 2025 15:21 15m 55s maiste:fix/changelog-dune.3.18.1
maiste:fix/changelog-dune.3.18.1
April 17, 2025 15:21 15m 55s
chore: comply with LGPL-2 CI #30402: Pull request #11632 opened by maiste
April 17, 2025 09:30 15m 17s maiste:chore/comply-with-lgpl
maiste:chore/comply-with-lgpl
April 17, 2025 09:30 15m 17s
pages build and deployment pages-build-deployment #10615: by github-pages bot
April 16, 2025 18:29 41s gh-pages
gh-pages
April 16, 2025 18:29 41s
pages build and deployment pages-build-deployment #10614: by github-pages bot
April 16, 2025 18:29 12s gh-pages
gh-pages
April 16, 2025 18:29 12s
pages build and deployment pages-build-deployment #10613: by github-pages bot
April 16, 2025 18:25 39s gh-pages
gh-pages
April 16, 2025 18:25 39s
pages build and deployment pages-build-deployment #10612: by github-pages bot
April 16, 2025 18:23 42s gh-pages
gh-pages
April 16, 2025 18:23 42s
Merge pull request #11235 from jajimajp/patch-1 Build time benchmarks #2949: Commit 4ee8977 pushed by ejgallego
April 16, 2025 18:14 15m 10s main
main
April 16, 2025 18:14 15m 10s
Merge pull request #11235 from jajimajp/patch-1 CI #30401: Commit 4ee8977 pushed by ejgallego
April 16, 2025 18:14 14m 13s main
main
April 16, 2025 18:14 14m 13s
chore: changelog for dune.3.18.1 CI #30400: Pull request #11630 opened by maiste
April 15, 2025 14:44 14m 28s maiste:release/prepare-3.18.1
maiste:release/prepare-3.18.1
April 15, 2025 14:44 14m 28s
Fix dune targets and dependencies CI #30399: Pull request #11570 synchronize by create2000
April 15, 2025 08:36 9m 4s create2000:fix/dune-targets
create2000:fix/dune-targets
April 15, 2025 08:36 9m 4s
[Reference manual/Coq] Fix label for VERNAC EXTEND CI #30398: Pull request #11235 synchronize by jajimajp
April 15, 2025 06:13 14m 23s jajimajp:patch-1
jajimajp:patch-1
April 15, 2025 06:13 14m 23s
pages build and deployment pages-build-deployment #10611: by github-pages bot
April 15, 2025 04:48 1m 2s gh-pages
gh-pages
April 15, 2025 04:48 1m 2s
pages build and deployment pages-build-deployment #10610: by github-pages bot
April 15, 2025 04:48 10s gh-pages
gh-pages
April 15, 2025 04:48 10s