Skip to content

Actions: jchavarri/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
444 workflow runs
444 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add repro of gh10440 (#10441) CI #854: Commit 1d5f97c pushed by jchavarri
April 19, 2024 15:41 23m 20s main
main
April 19, 2024 15:41 23m 20s
pages build and deployment pages-build-deployment #447: by github-pages bot
April 18, 2024 08:28 37s
April 18, 2024 08:28 37s
pages build and deployment pages-build-deployment #446: by github-pages bot
April 18, 2024 08:27 12s
April 18, 2024 08:27 12s
pages build and deployment pages-build-deployment #445: by github-pages bot
April 18, 2024 08:24 41s
April 18, 2024 08:24 41s
pages build and deployment pages-build-deployment #444: by github-pages bot
April 18, 2024 08:21 42s
April 18, 2024 08:21 42s
fix(spawn): update spawn for gcc 4.8.5 (#10428) Build time benchmarks #138: Commit d6a0e9c pushed by jchavarri
April 18, 2024 08:13 15m 24s main
main
April 18, 2024 08:13 15m 24s
fix(spawn): update spawn for gcc 4.8.5 (#10428) CI #853: Commit d6a0e9c pushed by jchavarri
April 18, 2024 08:13 22m 53s main
main
April 18, 2024 08:13 22m 53s
pages build and deployment pages-build-deployment #443: by github-pages bot
April 15, 2024 06:30 50s
April 15, 2024 06:30 50s
pages build and deployment pages-build-deployment #442: by github-pages bot
April 15, 2024 06:30 10s
April 15, 2024 06:30 10s
pages build and deployment pages-build-deployment #441: by github-pages bot
April 15, 2024 06:26 47s
April 15, 2024 06:26 47s
pages build and deployment pages-build-deployment #440: by github-pages bot
April 15, 2024 06:23 49s
April 15, 2024 06:23 49s
test(melange): augment a test case for ocaml-flags (#10421) Build time benchmarks #137: Commit 497871a pushed by jchavarri
April 15, 2024 06:14 16m 5s main
main
April 15, 2024 06:14 16m 5s
test(melange): augment a test case for ocaml-flags (#10421) CI #852: Commit 497871a pushed by jchavarri
April 15, 2024 06:14 25m 46s main
main
April 15, 2024 06:14 25m 46s
pages build and deployment pages-build-deployment #439: by github-pages bot
April 11, 2024 17:33 51s
April 11, 2024 17:33 51s
pages build and deployment pages-build-deployment #438: by github-pages bot
April 11, 2024 17:33 10s
April 11, 2024 17:33 10s
pages build and deployment pages-build-deployment #437: by github-pages bot
April 11, 2024 17:30 56s
April 11, 2024 17:30 56s
pages build and deployment pages-build-deployment #436: by github-pages bot
April 11, 2024 17:27 54s
April 11, 2024 17:27 54s
fix: update link in dune init (#10396) Build time benchmarks #136: Commit c2a00c9 pushed by jchavarri
April 11, 2024 17:18 15m 18s main
main
April 11, 2024 17:18 15m 18s
fix: update link in dune init (#10396) CI #851: Commit c2a00c9 pushed by jchavarri
April 11, 2024 17:18 6h 0m 26s main
main
April 11, 2024 17:18 6h 0m 26s
pages build and deployment pages-build-deployment #435: by github-pages bot
April 10, 2024 13:18 1m 49s
April 10, 2024 13:18 1m 49s
pages build and deployment pages-build-deployment #434: by github-pages bot
April 10, 2024 13:18 16s
April 10, 2024 13:18 16s
pages build and deployment pages-build-deployment #433: by github-pages bot
April 10, 2024 13:14 44s
April 10, 2024 13:14 44s
pages build and deployment pages-build-deployment #432: by github-pages bot
April 10, 2024 13:12 55s
April 10, 2024 13:12 55s
fix(doc): Correct versionadded reference for subst (#10406) CI #850: Commit ec4081d pushed by jchavarri
April 10, 2024 12:57 36m 38s main
main
April 10, 2024 12:57 36m 38s
fix(doc): Correct versionadded reference for subst (#10406) Build time benchmarks #135: Commit ec4081d pushed by jchavarri
April 10, 2024 12:57 21m 37s main
main
April 10, 2024 12:57 21m 37s