Skip to content

Actions: ocaml/dune

Actions

Build time benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
1,294 workflow run results
1,294 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Jsoo: make dune aware of sourcemap generation (#10777) Build time benchmarks #2441: Commit 16328a3 pushed by rgrinberg
August 4, 2024 15:17 13m 18s main
main
August 4, 2024 15:17 13m 18s
refactor: move refmt/rescript_syntax hints to rules (#10795) Build time benchmarks #2440: Commit 6de363f pushed by rgrinberg
August 4, 2024 15:16 13m 25s main
main
August 4, 2024 15:16 13m 25s
doc: add a "developing with dune" tutorial (#10711) Build time benchmarks #2439: Commit 42ed194 pushed by emillon
August 2, 2024 15:48 13m 7s main
main
August 2, 2024 15:48 13m 7s
docs: use furo theme (#10786) Build time benchmarks #2438: Commit 9f3da04 pushed by emillon
August 2, 2024 08:28 13m 22s main
main
August 2, 2024 08:28 13m 22s
Add repro for gh10788 (#10790) Build time benchmarks #2437: Commit f0d9877 pushed by gridbugs
August 2, 2024 05:48 13m 23s main
main
August 2, 2024 05:48 13m 23s
Fix some issues with extra-sources (#10791) Build time benchmarks #2436: Commit 0d7af1f pushed by gridbugs
August 2, 2024 03:33 14m 17s main
main
August 2, 2024 03:33 14m 17s
ci: use nix for coq job (#10660) Build time benchmarks #2435: Commit 0a8af6e pushed by emillon
August 1, 2024 13:26 13m 3s main
main
August 1, 2024 13:26 13m 3s
ci: build microbenchmarks (#10684) Build time benchmarks #2434: Commit cdad7d2 pushed by emillon
August 1, 2024 13:05 13m 21s main
main
August 1, 2024 13:05 13m 21s
Set install_roots for toolchain packages (#10787) Build time benchmarks #2433: Commit a5cae2b pushed by Leonidas-from-XIV
July 31, 2024 12:04 13m 19s main
main
July 31, 2024 12:04 13m 19s
Create cookie file for toolchain packages (#10782) Build time benchmarks #2432: Commit b0c495c pushed by gridbugs
July 31, 2024 02:31 13m 32s main
main
July 31, 2024 02:31 13m 32s
(library (extra_objects)): avoid double linking (#10783) Build time benchmarks #2431: Commit 6ed323f pushed by nojb
July 30, 2024 15:45 13m 5s main
main
July 30, 2024 15:45 13m 5s
test: enabled_if with dune describe crash (#10778) Build time benchmarks #2430: Commit 3dbadb0 pushed by rgrinberg
July 30, 2024 13:23 13m 38s main
main
July 30, 2024 13:23 13m 38s
refactor(pkg): add some cookie docs (#10781) Build time benchmarks #2429: Commit 81877e5 pushed by rgrinberg
July 30, 2024 08:21 13m 32s main
main
July 30, 2024 08:21 13m 32s
fix(pkg): remove dune from lock dir (#10774) Build time benchmarks #2428: Commit 75cb1fe pushed by rgrinberg
July 29, 2024 10:22 13m 50s main
main
July 29, 2024 10:22 13m 50s
fix(pkg): better error message for avoid-version: false (#10772) Build time benchmarks #2427: Commit b12205b pushed by rgrinberg
July 29, 2024 10:21 13m 54s main
main
July 29, 2024 10:21 13m 54s
refactor(pkg): simplify some bindings (#10773) Build time benchmarks #2426: Commit 1f447ca pushed by rgrinberg
July 28, 2024 20:42 13m 2s main
main
July 28, 2024 20:42 13m 2s
feature(pkg): toolchains (#10769) Build time benchmarks #2425: Commit 5c4df6d pushed by rgrinberg
July 28, 2024 16:12 12m 56s main
main
July 28, 2024 16:12 12m 56s
refactor(rules): remove support for patch back into source tree (#10771) Build time benchmarks #2424: Commit ebc7035 pushed by rgrinberg
July 28, 2024 14:35 13m 7s main
main
July 28, 2024 14:35 13m 7s
refactor(engine): move some dap code into separate module (#10770) Build time benchmarks #2423: Commit e239c4b pushed by rgrinberg
July 28, 2024 14:34 12m 52s main
main
July 28, 2024 14:34 12m 52s
refactor(pkg): separate read from write paths (#10768) Build time benchmarks #2422: Commit 8a60342 pushed by rgrinberg
July 27, 2024 20:17 13m 40s main
main
July 27, 2024 20:17 13m 40s
test(site): cat whole install file (#10759) Build time benchmarks #2421: Commit a3a5bfc pushed by emillon
July 23, 2024 08:22 13m 5s main
main
July 23, 2024 08:22 13m 5s
docs: delete duplicate since word (#10762) Build time benchmarks #2420: Commit d89852a pushed by Leonidas-from-XIV
July 23, 2024 08:17 13m 26s main
main
July 23, 2024 08:17 13m 26s
test(pkg): bring back timeout (#10761) Build time benchmarks #2419: Commit fd70edc pushed by Leonidas-from-XIV
July 23, 2024 07:28 13m 47s main
main
July 23, 2024 07:28 13m 47s
fix(pkg): pinning depopts (#10754) Build time benchmarks #2418: Commit c4a6e84 pushed by rgrinberg
July 22, 2024 21:07 13m 6s main
main
July 22, 2024 21:07 13m 6s
doc: add an example for variable name :version (#10760) Build time benchmarks #2417: Commit 7ed503b pushed by emillon
July 22, 2024 16:18 13m 27s main
main
July 22, 2024 16:18 13m 27s