Skip to content

Actions: Leonidas-from-XIV/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
184 workflow runs
184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: make source copying test more resilient (#9161) CI #202: Commit fcec774 pushed by Leonidas-from-XIV
November 13, 2023 15:32 22m 22s main
main
November 13, 2023 15:32 22m 22s
Merge pull request #9123 from emillon/doc-cc-lowercase CI #201: Commit f672828 pushed by Leonidas-from-XIV
November 9, 2023 15:52 31m 58s main
main
November 9, 2023 15:52 31m 58s
Merge pull request #9123 from emillon/doc-cc-lowercase Build time benchmarks #41: Commit f672828 pushed by Leonidas-from-XIV
November 9, 2023 15:52 13m 2s main
main
November 9, 2023 15:52 13m 2s
fix: properly ignore bigarray if it shouldn't exist (#9076) Build time benchmarks #40: Commit 58220cb pushed by Leonidas-from-XIV
November 3, 2023 09:34 8m 37s main
main
November 3, 2023 09:34 8m 37s
fix: properly ignore bigarray if it shouldn't exist (#9076) CI #200: Commit 58220cb pushed by Leonidas-from-XIV
November 3, 2023 09:34 26m 28s main
main
November 3, 2023 09:34 26m 28s
chore: reformat sandboxing tests (#9042) CI #199: Commit 76ec458 pushed by Leonidas-from-XIV
October 30, 2023 14:01 32m 50s main
main
October 30, 2023 14:01 32m 50s
chore: reformat sandboxing tests (#9042) Build time benchmarks #39: Commit 76ec458 pushed by Leonidas-from-XIV
October 30, 2023 14:01 15m 32s main
main
October 30, 2023 14:01 15m 32s
feature(pkg): Single repo source (#8950) Build time benchmarks #38: Commit dd8b9d6 pushed by Leonidas-from-XIV
October 27, 2023 08:46 15m 32s main
main
October 27, 2023 08:46 15m 32s
feature(pkg): Single repo source (#8950) CI #198: Commit dd8b9d6 pushed by Leonidas-from-XIV
October 27, 2023 08:46 35m 13s main
main
October 27, 2023 08:46 35m 13s