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
feat: per-module inter-library dependency filtering (#4572) CI #39426: Pull request #14116 synchronize by robinbb
In progress robinbb:robinbb-issue-4572-combined-tests
robinbb:robinbb-issue-4572-combined-tests
In progress
Send SIGTERM before SIGKILL when shutting down child processes CI #39425: Pull request #14170 synchronize by robinbb
1h 31m 27s robinbb:sigterm-before-sigkill
robinbb:sigterm-before-sigkill
1h 31m 27s
feat: per-module inter-library dependency filtering (#4572) CI #39424: Pull request #14116 synchronize by robinbb
1h 22m 29s robinbb:robinbb-issue-4572-combined-tests
robinbb:robinbb-issue-4572-combined-tests
1h 22m 29s
Send SIGTERM before SIGKILL when shutting down child processes CI #39423: Pull request #14170 synchronize by robinbb
47m 58s robinbb:sigterm-before-sigkill
robinbb:sigterm-before-sigkill
47m 58s
feat: per-module inter-library dependency filtering (#4572) CI #39422: Pull request #14116 synchronize by robinbb
46m 41s robinbb:robinbb-issue-4572-combined-tests
robinbb:robinbb-issue-4572-combined-tests
46m 41s
feat: per-module inter-library dependency filtering (#4572) CI #39421: Pull request #14116 synchronize by robinbb
27m 33s robinbb:robinbb-issue-4572-combined-tests
robinbb:robinbb-issue-4572-combined-tests
27m 33s
Send SIGTERM before SIGKILL when shutting down child processes CI #39420: Pull request #14170 synchronize by robinbb
21m 56s robinbb:sigterm-before-sigkill
robinbb:sigterm-before-sigkill
21m 56s
pages build and deployment pages-build-deployment #16881: by github-pages bot
40s gh-pages
gh-pages
40s
pages build and deployment pages-build-deployment #16880: by github-pages bot
13s gh-pages
gh-pages
13s
pages build and deployment pages-build-deployment #16879: by github-pages bot
42s gh-pages
gh-pages
42s
chore: update AGENTS.md (#14180) CI #39419: Commit e82bb6e pushed by rgrinberg
43m 4s main
main
43m 4s
chore: update AGENTS.md (#14180) Build time benchmarks #4830: Commit e82bb6e pushed by rgrinberg
18m 53s main
main
18m 53s
Send SIGTERM before SIGKILL when shutting down child processes CI #39418: Pull request #14170 synchronize by robinbb
37m 58s robinbb:sigterm-before-sigkill
robinbb:sigterm-before-sigkill
37m 58s
pages build and deployment pages-build-deployment #16878: by github-pages bot
41s gh-pages
gh-pages
41s
pages build and deployment pages-build-deployment #16877: by github-pages bot
14s gh-pages
gh-pages
14s
pages build and deployment pages-build-deployment #16876: by github-pages bot
44s gh-pages
gh-pages
44s
[3.22.2] release (#14113) CI #39417: Commit 21612c8 pushed by shonfeder
1h 3m 19s main
main
1h 3m 19s
[3.22.2] release (#14113) Build time benchmarks #4829: Commit 21612c8 pushed by shonfeder
15m 39s main
main
15m 39s
[3.22.2] release CI #39416: Pull request #14113 synchronize by shonfeder
1h 1m 16s 3.22.2-rc
3.22.2-rc
1h 1m 16s
Fix changelog Devtool Reverse Dependencies Check for Prereleases #2: Commit 0635c69 pushed by shonfeder
14m 52s 3.22.2-rc
3.22.2-rc
14m 52s
Fix changelog Revdeps development build #9: Commit 0635c69 pushed by shonfeder
13m 38s 3.22.2-rc
3.22.2-rc
13m 38s
Fix changelog Coverage of Reverse Dependencies Check for Prereleases #2: Commit 0635c69 pushed by shonfeder
49m 39s 3.22.2-rc
3.22.2-rc
49m 39s
Merge branch 'main' into 3.22.2-rc Coverage of Reverse Dependencies Check for Prereleases #1: Commit e41376f pushed by shonfeder
2m 48s 3.22.2-rc
3.22.2-rc
2m 48s
Merge branch 'main' into 3.22.2-rc Devtool Reverse Dependencies Check for Prereleases #1: Commit e41376f pushed by shonfeder
2m 53s 3.22.2-rc
3.22.2-rc
2m 53s
Merge branch 'main' into 3.22.2-rc Revdeps development build #8: Commit e41376f pushed by shonfeder
14m 3s 3.22.2-rc
3.22.2-rc
14m 3s