Skip to content

Actions: ocaml/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,638 workflow runs
9,638 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dune-pkg: Better error messages on extract fail CI #30248: Pull request #11560 synchronize by H-ANSEN
March 27, 2025 16:33 28m 42s H-ANSEN:extract-msg-fail
H-ANSEN:extract-msg-fail
March 27, 2025 16:33 28m 42s
dune-pkg: Better error messages on extract fail CI #30247: Pull request #11560 synchronize by H-ANSEN
March 27, 2025 16:22 11m 3s H-ANSEN:extract-msg-fail
H-ANSEN:extract-msg-fail
March 27, 2025 16:22 11m 3s
pkg: Display error message when no dependencies exist in dune-project CI #30246: Pull request #11573 synchronize by Leonidas-from-XIV
March 27, 2025 10:17 14m 34s Leonidas-from-XIV:error-on-empty-deps
Leonidas-from-XIV:error-on-empty-deps
March 27, 2025 10:17 14m 34s
pkg: Display error message when no dependencies exist in dune-project CI #30245: Pull request #11573 opened by Leonidas-from-XIV
March 26, 2025 15:21 15m 2s Leonidas-from-XIV:error-on-empty-deps
Leonidas-from-XIV:error-on-empty-deps
March 26, 2025 15:21 15m 2s
Add the warning flag to the C/C++ compiler invocation CI #30244: Pull request #11535 synchronize by MisterDA
March 26, 2025 13:32 16m 14s MisterDA:foreign_stubs-c-cxx-warnings
MisterDA:foreign_stubs-c-cxx-warnings
March 26, 2025 13:32 16m 14s
Add the warning flag to the C/C++ compiler invocation CI #30243: Pull request #11535 synchronize by MisterDA
March 26, 2025 13:31 1m 5s MisterDA:foreign_stubs-c-cxx-warnings
MisterDA:foreign_stubs-c-cxx-warnings
March 26, 2025 13:31 1m 5s
Add the warning flag to the C/C++ compiler invocation CI #30242: Pull request #11535 synchronize by MisterDA
March 26, 2025 12:02 14m 14s MisterDA:foreign_stubs-c-cxx-warnings
MisterDA:foreign_stubs-c-cxx-warnings
March 26, 2025 12:02 14m 14s
pages build and deployment pages-build-deployment #10527: by github-pages bot
March 26, 2025 10:45 43s gh-pages
gh-pages
March 26, 2025 10:45 43s
pages build and deployment pages-build-deployment #10526: by github-pages bot
March 26, 2025 10:45 11s gh-pages
gh-pages
March 26, 2025 10:45 11s
pages build and deployment pages-build-deployment #10525: by github-pages bot
March 26, 2025 10:41 43s gh-pages
gh-pages
March 26, 2025 10:41 43s
pages build and deployment pages-build-deployment #10524: by github-pages bot
March 26, 2025 10:38 40s gh-pages
gh-pages
March 26, 2025 10:38 40s
Fix handling of missing optional directories in findlib (#11569) CI #30241: Commit 93ff2a9 pushed by Leonidas-from-XIV
March 26, 2025 10:31 14m 11s main
main
March 26, 2025 10:31 14m 11s
Fix handling of missing optional directories in findlib (#11569) Build time benchmarks #2927: Commit 93ff2a9 pushed by Leonidas-from-XIV
March 26, 2025 10:31 14m 14s main
main
March 26, 2025 10:31 14m 14s
Fix handling of missing optional directories in findlib CI #30240: Pull request #11569 synchronize by Leonidas-from-XIV
March 26, 2025 09:32 14m 18s fix-findlib-exists-if
fix-findlib-exists-if
March 26, 2025 09:32 14m 18s
dune init: use full subcommand names CI #30239: Pull request #11571 opened by Khady
March 26, 2025 05:57 15m 2s Khady:patch-1
Khady:patch-1
March 26, 2025 05:57 15m 2s
Fix dune targets and dependencies CI #30238: Pull request #11570 opened by create2000
March 26, 2025 04:26 Action required create2000:fix/dune-targets
create2000:fix/dune-targets
March 26, 2025 04:26 Action required
pages build and deployment pages-build-deployment #10523: by github-pages bot
March 25, 2025 22:44 46s gh-pages
gh-pages
March 25, 2025 22:44 46s
pages build and deployment pages-build-deployment #10522: by github-pages bot
March 25, 2025 22:44 13s gh-pages
gh-pages
March 25, 2025 22:44 13s
pages build and deployment pages-build-deployment #10521: by github-pages bot
March 25, 2025 22:40 40s gh-pages
gh-pages
March 25, 2025 22:40 40s
pages build and deployment pages-build-deployment #10520: by github-pages bot
March 25, 2025 22:37 38s gh-pages
gh-pages
March 25, 2025 22:37 38s
chore(cram): remove Sanitizer dead code (#11568) Build time benchmarks #2926: Commit 5251af8 pushed by rgrinberg
March 25, 2025 22:29 14m 46s main
main
March 25, 2025 22:29 14m 46s
chore(cram): remove Sanitizer dead code (#11568) CI #30237: Commit 5251af8 pushed by rgrinberg
March 25, 2025 22:29 15m 13s main
main
March 25, 2025 22:29 15m 13s
Fix handling of missing optional directories in findlib CI #30236: Pull request #11569 opened by ElectreAAS
March 25, 2025 18:42 14m 23s fix-findlib-exists-if
fix-findlib-exists-if
March 25, 2025 18:42 14m 23s
Alternative to #11437: warn, do not fail, if sandbox cannot be deleted CI #30235: Pull request #11566 synchronize by nojb
March 25, 2025 17:18 16m 8s nojb:alternative_to_11437
nojb:alternative_to_11437
March 25, 2025 17:18 16m 8s
pages build and deployment pages-build-deployment #10519: by github-pages bot
March 25, 2025 16:49 39s gh-pages
gh-pages
March 25, 2025 16:49 39s