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
pages build and deployment pages-build-deployment #19738: by github-pages Bot
44s gh-pages
gh-pages
44s
trace: record build process timing totals (#15401) Build time benchmarks #5814: Commit eb534f3 pushed by rgrinberg
16m 10s main
main
16m 10s
trace: record build process timing totals (#15401) CI #43813: Commit eb534f3 pushed by rgrinberg
48m 38s main
main
48m 38s
fix(cram): sanitize timed-out partial output CI #43812: Pull request #15354 synchronize by rgrinberg
48m 52s rgrinberg:push-ttnyosyrztmn
rgrinberg:push-ttnyosyrztmn
48m 52s
trace: record build process timing totals CI #43811: Pull request #15401 synchronize by rgrinberg
50m 55s rgrinberg:push-tnyxpmktyuql
rgrinberg:push-tnyxpmktyuql
50m 55s
trace: record build process timing totals CI #43810: Pull request #15401 synchronize by rgrinberg
4m 15s rgrinberg:push-tnyxpmktyuql
rgrinberg:push-tnyxpmktyuql
4m 15s
trace: record build process timing totals CI #43809: Pull request #15401 synchronize by rgrinberg
2m 39s rgrinberg:push-tnyxpmktyuql
rgrinberg:push-tnyxpmktyuql
2m 39s
trace: record build process timing totals CI #43808: Pull request #15401 opened by rgrinberg
4m 34s rgrinberg:push-tnyxpmktyuql
rgrinberg:push-tnyxpmktyuql
4m 34s
Add preliminary support for Rocq's packaging support CI #43807: Pull request #15400 opened by rlepigre-skylabs-ai
50m 33s rlepigre-skylabs-ai:rocq-package
rlepigre-skylabs-ai:rocq-package
50m 33s
pages build and deployment pages-build-deployment #19737: by github-pages Bot
39s gh-pages
gh-pages
39s
pages build and deployment pages-build-deployment #19736: by github-pages Bot
21s gh-pages
gh-pages
21s
pages build and deployment pages-build-deployment #19735: by github-pages Bot
40s gh-pages
gh-pages
40s
pages build and deployment pages-build-deployment #19734: by github-pages Bot
13s gh-pages
gh-pages
13s
pages build and deployment pages-build-deployment #19733: by github-pages Bot
45s gh-pages
gh-pages
45s
pages build and deployment pages-build-deployment #19732: by github-pages Bot
39s gh-pages
gh-pages
39s
pages build and deployment pages-build-deployment #19731: by github-pages Bot
11s gh-pages
gh-pages
11s
pages build and deployment pages-build-deployment #19730: by github-pages Bot
49s gh-pages
gh-pages
49s
pages build and deployment pages-build-deployment #19729: by github-pages Bot
31s gh-pages
gh-pages
31s
refactor(action-exec): cosemtic cleanups (#15398) CI #43806: Commit e1b1e74 pushed by rgrinberg
1h 37m 15s main
main
1h 37m 15s
refactor(action-exec): cosemtic cleanups (#15398) Build time benchmarks #5813: Commit e1b1e74 pushed by rgrinberg
9m 59s main
main
9m 59s
Revert "fix(promote): exit 0 when --auto-promote applies all promotio… Build time benchmarks #5812: Commit 5729bbe pushed by rgrinberg
16m 36s main
main
16m 36s
Revert "fix(promote): exit 0 when --auto-promote applies all promotio… CI #43805: Commit 5729bbe pushed by rgrinberg
23s main
main
23s
Cram test to show dune runtest --force re-runs mdx code blocks (#15387) CI #43804: Commit 76e83cd pushed by shonfeder
50m 45s main
main
50m 45s
Cram test to show dune runtest --force re-runs mdx code blocks (#15387) Build time benchmarks #5811: Commit 76e83cd pushed by shonfeder
16m 11s main
main
16m 11s
Add PR template CI #43803: Pull request #15399 synchronize by shonfeder
44m 15s shonfeder:pr-template
shonfeder:pr-template
44m 15s