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

Merge pull request #10429 from ejgallego/per_file_flags_coq CI #858: Commit 5554158 pushed by jchavarri
April 29, 2024 07:39 15m 41s main
main
April 29, 2024 07:39 15m 41s
Merge pull request #10429 from ejgallego/per_file_flags_coq Build time benchmarks #143: Commit 5554158 pushed by jchavarri
April 29, 2024 07:39 15m 19s main
main
April 29, 2024 07:39 15m 19s
pages build and deployment pages-build-deployment #463: by github-pages bot
April 26, 2024 07:22 45s
April 26, 2024 07:22 45s
pages build and deployment pages-build-deployment #462: by github-pages bot
April 26, 2024 07:22 10s
April 26, 2024 07:22 10s
pages build and deployment pages-build-deployment #461: by github-pages bot
April 26, 2024 07:18 42s
April 26, 2024 07:18 42s
pages build and deployment pages-build-deployment #460: by github-pages bot
April 26, 2024 07:16 40s
April 26, 2024 07:16 40s
Remove action runner commands. (#10456) Build time benchmarks #142: Commit 6f878dd pushed by jchavarri
April 26, 2024 07:06 16m 25s main
main
April 26, 2024 07:06 16m 25s
Remove action runner commands. (#10456) CI #857: Commit 6f878dd pushed by jchavarri
April 26, 2024 07:06 17m 31s main
main
April 26, 2024 07:06 17m 31s
pages build and deployment pages-build-deployment #459: by github-pages bot
April 23, 2024 09:08 41s
April 23, 2024 09:08 41s
pages build and deployment pages-build-deployment #458: by github-pages bot
April 23, 2024 09:08 12s
April 23, 2024 09:08 12s
pages build and deployment pages-build-deployment #457: by github-pages bot
April 23, 2024 09:04 1m 0s
April 23, 2024 09:04 1m 0s
pages build and deployment pages-build-deployment #456: by github-pages bot
April 23, 2024 09:02 43s
April 23, 2024 09:02 43s
Fix gh10408 (#10444) Build time benchmarks #141: Commit 62a79b2 pushed by jchavarri
April 23, 2024 08:52 16m 11s main
main
April 23, 2024 08:52 16m 11s
Fix gh10408 (#10444) CI #856: Commit 62a79b2 pushed by jchavarri
April 23, 2024 08:52 31m 46s main
main
April 23, 2024 08:52 31m 46s
pages build and deployment pages-build-deployment #455: by github-pages bot
April 22, 2024 12:49 43s
April 22, 2024 12:49 43s
pages build and deployment pages-build-deployment #454: by github-pages bot
April 22, 2024 12:49 11s
April 22, 2024 12:49 11s
pages build and deployment pages-build-deployment #453: by github-pages bot
April 22, 2024 12:45 42s
April 22, 2024 12:45 42s
pages build and deployment pages-build-deployment #452: by github-pages bot
April 22, 2024 12:43 41s
April 22, 2024 12:43 41s
doc: tour of the dune codebase (#10379) CI #855: Commit ac0eca3 pushed by jchavarri
April 22, 2024 12:33 24m 36s main
main
April 22, 2024 12:33 24m 36s
doc: tour of the dune codebase (#10379) Build time benchmarks #140: Commit ac0eca3 pushed by jchavarri
April 22, 2024 12:33 16m 3s main
main
April 22, 2024 12:33 16m 3s
pages build and deployment pages-build-deployment #451: by github-pages bot
April 19, 2024 15:56 42s
April 19, 2024 15:56 42s
pages build and deployment pages-build-deployment #450: by github-pages bot
April 19, 2024 15:56 12s
April 19, 2024 15:56 12s
pages build and deployment pages-build-deployment #449: by github-pages bot
April 19, 2024 15:52 42s
April 19, 2024 15:52 42s
pages build and deployment pages-build-deployment #448: by github-pages bot
April 19, 2024 15:50 44s
April 19, 2024 15:50 44s
Add repro of gh10440 (#10441) Build time benchmarks #139: Commit 1d5f97c pushed by jchavarri
April 19, 2024 15:41 15m 22s main
main
April 19, 2024 15:41 15m 22s