Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Mirage Mirage #112: Manually run by shonfeder
8m 54s shonfeder-patch-1
shonfeder-patch-1
8m 54s
pages build and deployment pages-build-deployment #19749: by github-pages Bot
42s gh-pages
gh-pages
42s
pages build and deployment pages-build-deployment #19748: by github-pages Bot
15s gh-pages
gh-pages
15s
pages build and deployment pages-build-deployment #19747: by github-pages Bot
41s gh-pages
gh-pages
41s
Add PR template (#15399) Build time benchmarks #5817: Commit 971ca60 pushed by shonfeder
15m 52s main
main
15m 52s
Add PR template (#15399) CI #43823: Commit 971ca60 pushed by shonfeder
50m 4s main
main
50m 4s
Update dev tool docs for odoc and utop inclusion CI #43822: Pull request #15404 synchronize by shonfeder
49m 13s shonfeder-patch-2
shonfeder-patch-2
49m 13s
Update dev tool docs for odoc and utop inclusion CI #43821: Pull request #15404 opened by shonfeder
56m 8s shonfeder-patch-2
shonfeder-patch-2
56m 8s
[doc] Add documentation page explaining shell completion CI #43820: Pull request #15403 opened by ElectreAAS
50m 20s ElectreAAS:push-qtxpuymozomo
ElectreAAS:push-qtxpuymozomo
50m 20s
WIP: Narrow which in pkg context CI #43819: Pull request #15381 synchronize by punchagan
57m 59s punchagan:narrow-pkg-which
punchagan:narrow-pkg-which
57m 59s
WIP: Narrow which in pkg context CI #43818: Pull request #15381 synchronize by punchagan
58s punchagan:narrow-pkg-which
punchagan:narrow-pkg-which
58s
pages build and deployment pages-build-deployment #19746: by github-pages Bot
50s gh-pages
gh-pages
50s
pages build and deployment pages-build-deployment #19745: by github-pages Bot
17s gh-pages
gh-pages
17s
pages build and deployment pages-build-deployment #19744: by github-pages Bot
58s gh-pages
gh-pages
58s
Allow dune tools exec utop (#15388) CI #43817: Commit 54e6481 pushed by Leonidas-from-XIV
49m 57s main
main
49m 57s
Allow dune tools exec utop (#15388) Build time benchmarks #5816: Commit 54e6481 pushed by Leonidas-from-XIV
16m 21s main
main
16m 21s
Allow dune tools exec utop CI #43816: Pull request #15388 synchronize by Leonidas-from-XIV
49m 37s Leonidas-from-XIV:allow-tools-exec-utop
Leonidas-from-XIV:allow-tools-exec-utop
49m 37s
pages build and deployment pages-build-deployment #19743: by github-pages Bot
1m 14s gh-pages
gh-pages
1m 14s
pages build and deployment pages-build-deployment #19742: by github-pages Bot
13s gh-pages
gh-pages
13s
pages build and deployment pages-build-deployment #19741: by github-pages Bot
1m 12s gh-pages
gh-pages
1m 12s
chore: add changelog for #15395 (#15402) CI #43815: Commit a090e25 pushed by anmonteiro
49m 30s main
main
49m 30s
chore: add changelog for #15395 (#15402) Build time benchmarks #5815: Commit a090e25 pushed by anmonteiro
16m 12s main
main
16m 12s
chore: add changelog for #15395 CI #43814: Pull request #15402 opened by anmonteiro
49m 31s anmonteiro:anmonteiro/changelog-15395
anmonteiro:anmonteiro/changelog-15395
49m 31s
pages build and deployment pages-build-deployment #19740: by github-pages Bot
43s gh-pages
gh-pages
43s
pages build and deployment pages-build-deployment #19739: by github-pages Bot
13s gh-pages
gh-pages
13s