Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,707 workflow runs
12,707 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(sat): rename function to match its intent CI #30051: Pull request #11493 opened by art-w
February 21, 2025 11:36 13m 7s art-w:sat-internal
art-w:sat-internal
February 21, 2025 11:36 13m 7s
Avoid formatting read-only files CI #30050: Pull request #11490 synchronize by Julow
February 21, 2025 10:01 13m 0s Julow:fmt-read-only
Julow:fmt-read-only
February 21, 2025 10:01 13m 0s
pkg: fix bug where multiple conflicts causes conlficts to be ignored CI #30049: Pull request #11492 opened by gridbugs
February 21, 2025 07:09 13m 13s gridbugs:fix-gh11265
gridbugs:fix-gh11265
February 21, 2025 07:09 13m 13s
Experimental portable lockdirs CI #30048: Pull request #11489 synchronize by gridbugs
February 20, 2025 02:29 14m 34s gridbugs:portable-lockdir-feature
gridbugs:portable-lockdir-feature
February 20, 2025 02:29 14m 34s
Avoid formatting read-only files CI #30047: Pull request #11490 opened by Julow
February 19, 2025 15:59 12m 47s Julow:fmt-read-only
Julow:fmt-read-only
February 19, 2025 15:59 12m 47s
Experimental portable lockdirs CI #30046: Pull request #11489 synchronize by gridbugs
February 19, 2025 10:00 20m 19s gridbugs:portable-lockdir-feature
gridbugs:portable-lockdir-feature
February 19, 2025 10:00 20m 19s
Experimental portable lockdirs CI #30045: Pull request #11489 opened by gridbugs
February 19, 2025 09:55 5m 37s gridbugs:portable-lockdir-feature
gridbugs:portable-lockdir-feature
February 19, 2025 09:55 5m 37s
pages build and deployment pages-build-deployment #10415: by github-pages bot
February 19, 2025 09:12 43s gh-pages
gh-pages
February 19, 2025 09:12 43s
pages build and deployment pages-build-deployment #10414: by github-pages bot
February 19, 2025 09:12 12s gh-pages
gh-pages
February 19, 2025 09:12 12s
pages build and deployment pages-build-deployment #10413: by github-pages bot
February 19, 2025 09:08 41s gh-pages
gh-pages
February 19, 2025 09:08 41s
pages build and deployment pages-build-deployment #10412: by github-pages bot
February 19, 2025 09:05 40s gh-pages
gh-pages
February 19, 2025 09:05 40s
Correct version guard for dune formatting change (#11486) CI #30044: Commit 04f28da pushed by nojb
February 19, 2025 08:58 14m 2s main
main
February 19, 2025 08:58 14m 2s
Correct version guard for dune formatting change (#11486) Build time benchmarks #2898: Commit 04f28da pushed by nojb
February 19, 2025 08:58 14m 4s main
main
February 19, 2025 08:58 14m 4s
Correct version guard for dune formatting change CI #30043: Pull request #11486 synchronize by nojb
February 18, 2025 20:39 14m 31s nojb:dune_format_changes_version_fix
nojb:dune_format_changes_version_fix
February 18, 2025 20:39 14m 31s
Correct version guard for dune formatting change CI #30042: Pull request #11486 synchronize by nojb
February 18, 2025 20:39 19s nojb:dune_format_changes_version_fix
nojb:dune_format_changes_version_fix
February 18, 2025 20:39 19s
pages build and deployment pages-build-deployment #10411: by github-pages bot
February 18, 2025 17:20 43s gh-pages
gh-pages
February 18, 2025 17:20 43s
pages build and deployment pages-build-deployment #10410: by github-pages bot
February 18, 2025 17:20 12s gh-pages
gh-pages
February 18, 2025 17:20 12s
pages build and deployment pages-build-deployment #10409: by github-pages bot
February 18, 2025 17:16 42s gh-pages
gh-pages
February 18, 2025 17:16 42s
pages build and deployment pages-build-deployment #10408: by github-pages bot
February 18, 2025 17:14 40s gh-pages
gh-pages
February 18, 2025 17:14 40s
Require minimal ppxlib version (#11488) Build time benchmarks #2897: Commit 1ef56ff pushed by nojb
February 18, 2025 17:06 13m 57s main
main
February 18, 2025 17:06 13m 57s
Require minimal ppxlib version (#11488) CI #30041: Commit 1ef56ff pushed by nojb
February 18, 2025 17:06 15m 22s main
main
February 18, 2025 17:06 15m 22s
pages build and deployment pages-build-deployment #10407: by github-pages bot
February 18, 2025 16:36 44s gh-pages
gh-pages
February 18, 2025 16:36 44s
pages build and deployment pages-build-deployment #10406: by github-pages bot
February 18, 2025 16:36 12s gh-pages
gh-pages
February 18, 2025 16:36 12s
pages build and deployment pages-build-deployment #10405: by github-pages bot
February 18, 2025 16:32 46s gh-pages
gh-pages
February 18, 2025 16:32 46s
pages build and deployment pages-build-deployment #10404: by github-pages bot
February 18, 2025 16:30 38s gh-pages
gh-pages
February 18, 2025 16:30 38s