Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,835 workflow runs
8,835 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: changelog for dune.3.18.1 CI #30400: Pull request #11630 opened by maiste
April 15, 2025 14:44 14m 28s maiste:release/prepare-3.18.1
maiste:release/prepare-3.18.1
April 15, 2025 14:44 14m 28s
Fix dune targets and dependencies CI #30399: Pull request #11570 synchronize by create2000
April 15, 2025 08:36 9m 4s create2000:fix/dune-targets
create2000:fix/dune-targets
April 15, 2025 08:36 9m 4s
[Reference manual/Coq] Fix label for VERNAC EXTEND CI #30398: Pull request #11235 synchronize by jajimajp
April 15, 2025 06:13 Action required jajimajp:patch-1
jajimajp:patch-1
April 15, 2025 06:13 Action required
pages build and deployment pages-build-deployment #10611: by github-pages bot
April 15, 2025 04:48 1m 2s gh-pages
gh-pages
April 15, 2025 04:48 1m 2s
pages build and deployment pages-build-deployment #10610: by github-pages bot
April 15, 2025 04:48 10s gh-pages
gh-pages
April 15, 2025 04:48 10s
pages build and deployment pages-build-deployment #10609: by github-pages bot
April 15, 2025 04:44 39s gh-pages
gh-pages
April 15, 2025 04:44 39s
pages build and deployment pages-build-deployment #10608: by github-pages bot
April 15, 2025 04:42 37s gh-pages
gh-pages
April 15, 2025 04:42 37s
Implement warning for common typos in package deps (#11600) CI #30397: Commit df45715 pushed by gridbugs
April 15, 2025 04:34 15m 15s main
main
April 15, 2025 04:34 15m 15s
Implement warning for common typos in package deps (#11600) Build time benchmarks #2948: Commit df45715 pushed by gridbugs
April 15, 2025 04:34 14m 10s main
main
April 15, 2025 04:34 14m 10s
Detection and warning for common typos in package dependency constraints CI #30396: Pull request #11600 synchronize by gridbugs
April 15, 2025 04:24 14m 0s kemsguy7:kemsguy7/typo-detection
kemsguy7:kemsguy7/typo-detection
April 15, 2025 04:24 14m 0s
updated dune_lint CI #30395: Pull request #11628 synchronize by A-RAKSHITHA
April 15, 2025 02:35 Action required A-RAKSHITHA:main
A-RAKSHITHA:main
April 15, 2025 02:35 Action required
updated dune_lint CI #30394: Pull request #11628 synchronize by A-RAKSHITHA
April 15, 2025 02:34 Action required A-RAKSHITHA:main
A-RAKSHITHA:main
April 15, 2025 02:34 Action required
updated dune_lint CI #30393: Pull request #11628 synchronize by A-RAKSHITHA
April 15, 2025 02:31 Action required A-RAKSHITHA:main
A-RAKSHITHA:main
April 15, 2025 02:31 Action required
updated dune_lint CI #30392: Pull request #11628 synchronize by A-RAKSHITHA
April 15, 2025 02:23 Action required A-RAKSHITHA:main
A-RAKSHITHA:main
April 15, 2025 02:23 Action required
updated dune_lint CI #30391: Pull request #11628 opened by A-RAKSHITHA
April 15, 2025 02:11 Action required A-RAKSHITHA:main
A-RAKSHITHA:main
April 15, 2025 02:11 Action required
Detection and warning for common typos in package dependency constraints CI #30390: Pull request #11600 synchronize by kemsguy7
April 15, 2025 00:24 14m 46s kemsguy7:kemsguy7/typo-detection
kemsguy7:kemsguy7/typo-detection
April 15, 2025 00:24 14m 46s
Detection and warning for common typos in package dependency constraints CI #30389: Pull request #11600 synchronize by kemsguy7
April 15, 2025 00:21 Action required kemsguy7:kemsguy7/typo-detection
kemsguy7:kemsguy7/typo-detection
April 15, 2025 00:21 Action required
feat: Add optional synopsis field to rule stanza CI #30388: Pull request #11609 synchronize by maxim092001
April 14, 2025 15:58 23m 24s maxim092001:alias-with-synopsis
maxim092001:alias-with-synopsis
April 14, 2025 15:58 23m 24s
feat: Add optional synopsis field to rule stanza CI #30387: Pull request #11609 synchronize by maxim092001
April 14, 2025 15:41 14m 23s maxim092001:alias-with-synopsis
maxim092001:alias-with-synopsis
April 14, 2025 15:41 14m 23s
[3.18] backport #11619 CI #30386: Pull request #11626 opened by maiste
April 14, 2025 12:52 18m 57s maiste:backport/11613
maiste:backport/11613
April 14, 2025 12:52 18m 57s
pages build and deployment pages-build-deployment #10607: by github-pages bot
April 14, 2025 09:05 39s gh-pages
gh-pages
April 14, 2025 09:05 39s
pages build and deployment pages-build-deployment #10606: by github-pages bot
April 14, 2025 09:05 11s gh-pages
gh-pages
April 14, 2025 09:05 11s
pages build and deployment pages-build-deployment #10605: by github-pages bot
April 14, 2025 09:01 42s gh-pages
gh-pages
April 14, 2025 09:01 42s
pages build and deployment pages-build-deployment #10604: by github-pages bot
April 14, 2025 08:58 40s gh-pages
gh-pages
April 14, 2025 08:58 40s
fix: dune exec not updating arg0 (#11559) CI #30385: Commit ae32837 pushed by maiste
April 14, 2025 08:51 8m 33s main
main
April 14, 2025 08:51 8m 33s