Skip to content

Actions: ocaml/dune

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
8,369 workflow runs
8,369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor(pkg): introduce library interface (#11240) CI #29351: Commit 6dd582f pushed by rgrinberg
December 24, 2024 17:29 15m 2s main
main
December 24, 2024 17:29 15m 2s
refactor(pkg): introduce library interface CI #29350: Pull request #11240 opened by rgrinberg
December 24, 2024 17:11 22m 0s ps/rr/refactor_pkg___introduce_library_interface
ps/rr/refactor_pkg___introduce_library_interface
December 24, 2024 17:11 22m 0s
refactor(pkg): remove candidates class CI #29349: Pull request #11239 opened by rgrinberg
December 24, 2024 17:11 9m 13s ps/rr/refactor_pkg___remove_candidates_class
ps/rr/refactor_pkg___remove_candidates_class
December 24, 2024 17:11 9m 13s
WIP: fix directory targets with empty subdirs CI #29348: Pull request #11226 synchronize by ElectreAAS
December 24, 2024 14:40 8m 35s ElectreAAS:cache-empty-dir
ElectreAAS:cache-empty-dir
December 24, 2024 14:40 8m 35s
WIP: fix directory targets with empty subdirs CI #29347: Pull request #11226 synchronize by ElectreAAS
December 24, 2024 14:13 9m 8s ElectreAAS:cache-empty-dir
ElectreAAS:cache-empty-dir
December 24, 2024 14:13 9m 8s
refactor(pkg): inline [RoleEntry] (#11238) CI #29346: Commit 0b84c87 pushed by rgrinberg
December 24, 2024 01:05 14m 43s main
main
December 24, 2024 01:05 14m 43s
refactor(pkg): inline [RoleEntry] CI #29345: Pull request #11238 opened by rgrinberg
December 23, 2024 16:30 22m 54s ps/rr/refactor_pkg___inline__roleentry_
ps/rr/refactor_pkg___inline__roleentry_
December 23, 2024 16:30 22m 54s
refactor(pkg): more dead code removal CI #29344: Pull request #11237 opened by rgrinberg
December 23, 2024 16:25 14m 28s ps/rr/refactor_pkg___more_dead_code_removal
ps/rr/refactor_pkg___more_dead_code_removal
December 23, 2024 16:25 14m 28s
Better error message for old versions of Git CI #29343: Pull request #11197 synchronize by maiste
December 23, 2024 09:24 14m 49s Sudha247:no-write-fetch-head
Sudha247:no-write-fetch-head
December 23, 2024 09:24 14m 49s
feat(dune): support + prefixes for PPX CLI flags CI #29342: Pull request #11234 synchronize by anmonteiro
December 23, 2024 02:39 15m 29s anmonteiro:anmonteiro/melange-test-use-another-flag
anmonteiro:anmonteiro/melange-test-use-another-flag
December 23, 2024 02:39 15m 29s
refactor(pkg): pattern match on importance (#11236) CI #29341: Commit 2017391 pushed by rgrinberg
December 21, 2024 15:51 14m 58s main
main
December 21, 2024 15:51 14m 58s
feat(dune): support + prefixes for PPX CLI flags CI #29340: Pull request #11234 synchronize by anmonteiro
December 21, 2024 05:54 15m 25s anmonteiro:anmonteiro/melange-test-use-another-flag
anmonteiro:anmonteiro/melange-test-use-another-flag
December 21, 2024 05:54 15m 25s
feat(dune): support + prefixes for PPX CLI flags CI #29339: Pull request #11234 synchronize by anmonteiro
December 21, 2024 05:53 1m 9s anmonteiro:anmonteiro/melange-test-use-another-flag
anmonteiro:anmonteiro/melange-test-use-another-flag
December 21, 2024 05:53 1m 9s
feat(dune): support + prefixes for PPX CLI flags CI #29338: Pull request #11234 synchronize by anmonteiro
December 21, 2024 05:52 41s anmonteiro:anmonteiro/melange-test-use-another-flag
anmonteiro:anmonteiro/melange-test-use-another-flag
December 21, 2024 05:52 41s
refactor(pkg): pattern match on importance CI #29337: Pull request #11236 opened by rgrinberg
December 21, 2024 01:03 16m 12s ps/rr/refactor_pkg___pattern_match_on_importance
ps/rr/refactor_pkg___pattern_match_on_importance
December 21, 2024 01:03 16m 12s
WIP: fix directory targets with empty subdirs CI #29336: Pull request #11226 synchronize by ElectreAAS
December 21, 2024 00:52 8m 50s ElectreAAS:cache-empty-dir
ElectreAAS:cache-empty-dir
December 21, 2024 00:52 8m 50s
WIP: fix directory targets with empty subdirs CI #29335: Pull request #11226 synchronize by ElectreAAS
December 21, 2024 00:51 1m 23s ElectreAAS:cache-empty-dir
ElectreAAS:cache-empty-dir
December 21, 2024 00:51 1m 23s
refactor(pkg): remove replaced-by remnants (#11233) CI #29334: Commit cd876b2 pushed by rgrinberg
December 20, 2024 21:33 16m 7s main
main
December 20, 2024 21:33 16m 7s
refactor(pkg): remove [`Recommended] dep importance (#11223) CI #29333: Commit 0c87030 pushed by rgrinberg
December 20, 2024 21:31 2m 2s main
main
December 20, 2024 21:31 2m 2s
Adapt JSOO rules for new --effects= option CI #29332: Pull request #11222 synchronize by OlivierNicole
December 20, 2024 14:05 15m 49s OlivierNicole:jsoo-effects
OlivierNicole:jsoo-effects
December 20, 2024 14:05 15m 49s
Adapt JSOO rules for new --effects= option CI #29331: Pull request #11222 synchronize by OlivierNicole
December 20, 2024 13:46 14m 47s OlivierNicole:jsoo-effects
OlivierNicole:jsoo-effects
December 20, 2024 13:46 14m 47s
Adapt JSOO rules for new --effects= option CI #29330: Pull request #11222 synchronize by OlivierNicole
December 20, 2024 11:26 15m 7s OlivierNicole:jsoo-effects
OlivierNicole:jsoo-effects
December 20, 2024 11:26 15m 7s
[Reference manual/Coq] Fix label for VERNAC EXTEND CI #29329: Pull request #11235 opened by jajimajp
December 20, 2024 11:18 14m 47s jajimajp:patch-1
jajimajp:patch-1
December 20, 2024 11:18 14m 47s
Adapt JSOO rules for new --effects= option CI #29328: Pull request #11222 synchronize by OlivierNicole
December 20, 2024 10:31 19m 24s OlivierNicole:jsoo-effects
OlivierNicole:jsoo-effects
December 20, 2024 10:31 19m 24s
Adapt JSOO rules for new --effects= option CI #29327: Pull request #11222 synchronize by OlivierNicole
December 20, 2024 10:31 39s OlivierNicole:jsoo-effects
OlivierNicole:jsoo-effects
December 20, 2024 10:31 39s