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

pages build and deployment pages-build-deployment #499: by github-pages bot
September 8, 2024 13:13 45s
September 8, 2024 13:13 45s
pages build and deployment pages-build-deployment #498: by github-pages bot
September 8, 2024 13:13 9s
September 8, 2024 13:13 9s
pages build and deployment pages-build-deployment #497: by github-pages bot
September 8, 2024 13:11 54s
September 8, 2024 13:11 54s
pages build and deployment pages-build-deployment #496: by github-pages bot
September 8, 2024 13:11 15s
September 8, 2024 13:11 15s
pages build and deployment pages-build-deployment #495: by github-pages bot
September 8, 2024 13:09 45s
September 8, 2024 13:09 45s
pages build and deployment pages-build-deployment #494: by github-pages bot
September 8, 2024 13:07 40s
September 8, 2024 13:07 40s
pages build and deployment pages-build-deployment #493: by github-pages bot
September 8, 2024 13:06 16s
September 8, 2024 13:06 16s
pages build and deployment pages-build-deployment #492: by github-pages bot
September 8, 2024 13:04 42s
September 8, 2024 13:04 42s
ci bench: use 5.1 Build time benchmarks #151: Commit b0afc0a pushed by jchavarri
September 8, 2024 13:00 13m 4s ci-bench/fix-after-ocaml51
ci-bench/fix-after-ocaml51
September 8, 2024 13:00 13m 4s
ci bench: use 5.1 Build time benchmarks #150: Commit c162fad pushed by jchavarri
September 8, 2024 12:54 16m 52s ci-bench/fix-after-ocaml51
ci-bench/fix-after-ocaml51
September 8, 2024 12:54 16m 52s
pages build and deployment pages-build-deployment #491: by github-pages bot
June 24, 2024 09:37 37s
June 24, 2024 09:37 37s
pages build and deployment pages-build-deployment #490: by github-pages bot
June 24, 2024 09:36 12s
June 24, 2024 09:36 12s
pages build and deployment pages-build-deployment #489: by github-pages bot
June 24, 2024 09:33 40s
June 24, 2024 09:33 40s
pages build and deployment pages-build-deployment #488: by github-pages bot
June 24, 2024 09:30 39s
June 24, 2024 09:30 39s
test(dune-rpc-lwt): set XDG_STATE_HOME (#10667) CI #864: Commit 47a7fe7 pushed by jchavarri
June 24, 2024 09:18 23m 21s main
main
June 24, 2024 09:18 23m 21s
test(dune-rpc-lwt): set XDG_STATE_HOME (#10667) Build time benchmarks #149: Commit 47a7fe7 pushed by jchavarri
June 24, 2024 09:18 18m 21s main
main
June 24, 2024 09:18 18m 21s
pages build and deployment pages-build-deployment #487: by github-pages bot
June 14, 2024 16:15 43s
June 14, 2024 16:15 43s
pages build and deployment pages-build-deployment #486: by github-pages bot
June 14, 2024 16:15 12s
June 14, 2024 16:15 12s
pages build and deployment pages-build-deployment #485: by github-pages bot
June 14, 2024 16:12 36s
June 14, 2024 16:12 36s
pages build and deployment pages-build-deployment #484: by github-pages bot
June 14, 2024 16:09 39s
June 14, 2024 16:09 39s
Bump dune lang version to 3.17 + add unix deps to vendor (#10645) Build time benchmarks #148: Commit 987e1f1 pushed by jchavarri
June 14, 2024 15:57 18m 17s main
main
June 14, 2024 15:57 18m 17s
Bump dune lang version to 3.17 + add unix deps to vendor (#10645) CI #863: Commit 987e1f1 pushed by jchavarri
June 14, 2024 15:57 23m 15s main
main
June 14, 2024 15:57 23m 15s
pages build and deployment pages-build-deployment #483: by github-pages bot
May 31, 2024 12:59 40s
May 31, 2024 12:59 40s
pages build and deployment pages-build-deployment #482: by github-pages bot
May 31, 2024 12:58 11s
May 31, 2024 12:58 11s
pages build and deployment pages-build-deployment #481: by github-pages bot
May 31, 2024 12:55 45s
May 31, 2024 12:55 45s