Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,708 workflow runs
13,708 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #10353: by github-pages bot
February 10, 2025 20:28 42s gh-pages
gh-pages
February 10, 2025 20:28 42s
chore: upgrade to ocamlformat 0.27.0 CI #29974: Pull request #11469 opened by rgrinberg
February 10, 2025 20:26 17m 31s ps/rr/chore__upgrade_to_ocamlformat_0_27_0
ps/rr/chore__upgrade_to_ocamlformat_0_27_0
February 10, 2025 20:26 17m 31s
pages build and deployment pages-build-deployment #10352: by github-pages bot
February 10, 2025 20:25 37s gh-pages
gh-pages
February 10, 2025 20:25 37s
chore: get rid of fmt (#11468) Build time benchmarks #2883: Commit d52f8dd pushed by rgrinberg
February 10, 2025 20:18 13m 54s main
main
February 10, 2025 20:18 13m 54s
chore: get rid of fmt (#11468) CI #29973: Commit d52f8dd pushed by rgrinberg
February 10, 2025 20:18 13m 32s main
main
February 10, 2025 20:18 13m 32s
pages build and deployment pages-build-deployment #10351: by github-pages bot
February 10, 2025 20:01 39s gh-pages
gh-pages
February 10, 2025 20:01 39s
pages build and deployment pages-build-deployment #10350: by github-pages bot
February 10, 2025 20:01 11s gh-pages
gh-pages
February 10, 2025 20:01 11s
pages build and deployment pages-build-deployment #10349: by github-pages bot
February 10, 2025 20:01 25s gh-pages
gh-pages
February 10, 2025 20:01 25s
pages build and deployment pages-build-deployment #10348: by github-pages bot
February 10, 2025 20:01 11s gh-pages
gh-pages
February 10, 2025 20:01 11s
pages build and deployment pages-build-deployment #10347: by github-pages bot
February 10, 2025 20:00 29s gh-pages
gh-pages
February 10, 2025 20:00 29s
pages build and deployment pages-build-deployment #10346: by github-pages bot
February 10, 2025 20:00 10s gh-pages
gh-pages
February 10, 2025 20:00 10s
pages build and deployment pages-build-deployment #10345: by github-pages bot
February 10, 2025 19:57 38s gh-pages
gh-pages
February 10, 2025 19:57 38s
pages build and deployment pages-build-deployment #10344: by github-pages bot
February 10, 2025 19:57 34s gh-pages
gh-pages
February 10, 2025 19:57 34s
pages build and deployment pages-build-deployment #10343: by github-pages bot
February 10, 2025 19:56 31s gh-pages
gh-pages
February 10, 2025 19:56 31s
pages build and deployment pages-build-deployment #10342: by github-pages bot
February 10, 2025 19:55 40s gh-pages
gh-pages
February 10, 2025 19:55 40s
pages build and deployment pages-build-deployment #10341: by github-pages bot
February 10, 2025 19:54 33s gh-pages
gh-pages
February 10, 2025 19:54 33s
pages build and deployment pages-build-deployment #10340: by github-pages bot
February 10, 2025 19:54 41s gh-pages
gh-pages
February 10, 2025 19:54 41s
chore: get rid of fmt CI #29972: Pull request #11468 opened by rgrinberg
February 10, 2025 19:48 26m 19s ps/rr/chore__get_rid_of_fmt
ps/rr/chore__get_rid_of_fmt
February 10, 2025 19:48 26m 19s
refactor(pkg): update boot (#11464) Build time benchmarks #2882: Commit 5cd65fa pushed by rgrinberg
February 10, 2025 19:47 14m 2s main
main
February 10, 2025 19:47 14m 2s
refactor(pkg): update boot (#11464) CI #29971: Commit 5cd65fa pushed by rgrinberg
February 10, 2025 19:47 15m 36s main
main
February 10, 2025 19:47 15m 36s
chore: add libs.ml to check (#11467) CI #29970: Commit 09a353b pushed by rgrinberg
February 10, 2025 19:47 50s main
main
February 10, 2025 19:47 50s
chore: add libs.ml to check (#11467) Build time benchmarks #2881: Commit 09a353b pushed by rgrinberg
February 10, 2025 19:47 14m 8s main
main
February 10, 2025 19:47 14m 8s
refactor: remove a bunch of dead code from rules API (#11466) CI #29969: Commit 574477e pushed by rgrinberg
February 10, 2025 19:47 32s main
main
February 10, 2025 19:47 32s
refactor: remove a bunch of dead code from rules API (#11466) Build time benchmarks #2880: Commit 574477e pushed by rgrinberg
February 10, 2025 19:47 13m 45s main
main
February 10, 2025 19:47 13m 45s
pages build and deployment pages-build-deployment #10339: by github-pages bot
February 10, 2025 19:14 42s gh-pages
gh-pages
February 10, 2025 19:14 42s