Skip to content

Actions: dkalinichenko-js/dune

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'ocaml:main' into main
Build time benchmarks #12: Commit a72513c pushed by dkalinichenko-js
August 11, 2023 12:38 15m 11s main
August 11, 2023 12:38 15m 11s
Merge branch 'ocaml:main' into main
CI #12: Commit a72513c pushed by dkalinichenko-js
August 11, 2023 12:38 28m 49s main
August 11, 2023 12:38 28m 49s
_
Build time benchmarks #11: Commit eea84f7 pushed by rgrinberg
August 11, 2023 11:59 15m 6s main
August 11, 2023 11:59 15m 6s
_
CI #11: Commit eea84f7 pushed by rgrinberg
August 11, 2023 11:59 29m 31s main
August 11, 2023 11:59 29m 31s
_
CI #10: Commit 0af822a pushed by rgrinberg
August 11, 2023 11:02 32m 30s main
August 11, 2023 11:02 32m 30s
_
Build time benchmarks #10: Commit 0af822a pushed by rgrinberg
August 11, 2023 11:02 7m 54s main
August 11, 2023 11:02 7m 54s
_
Build time benchmarks #9: Commit 294f038 pushed by rgrinberg
August 11, 2023 10:14 14m 20s main
August 11, 2023 10:14 14m 20s
_
CI #9: Commit 294f038 pushed by rgrinberg
August 11, 2023 10:14 34m 18s main
August 11, 2023 10:14 34m 18s
fix: action runner error
Build time benchmarks #8: Commit 8d6a035 pushed by rgrinberg
August 11, 2023 10:07 16m 8s main
August 11, 2023 10:07 16m 8s
fix: action runner error
CI #8: Commit 8d6a035 pushed by rgrinberg
August 11, 2023 10:07 6m 51s main
August 11, 2023 10:07 6m 51s
Fix upstream errors
CI #7: Commit aa5cf7e pushed by dkalinichenko-js
August 10, 2023 15:12 34m 47s main
August 10, 2023 15:12 34m 47s
Fix upstream errors
Build time benchmarks #7: Commit aa5cf7e pushed by dkalinichenko-js
August 10, 2023 15:12 13m 17s main
August 10, 2023 15:12 13m 17s
Fix upstream errors
Build time benchmarks #6: Commit f0ab1b8 pushed by dkalinichenko-js
August 10, 2023 14:54 14m 42s main
August 10, 2023 14:54 14m 42s
Fix upstream errors
CI #6: Commit f0ab1b8 pushed by dkalinichenko-js
August 10, 2023 14:54 17m 37s main
August 10, 2023 14:54 17m 37s
Upstream JS changes to Dune engine
Build time benchmarks #5: Commit 2d7475b pushed by dkalinichenko-js
August 10, 2023 12:25 13m 11s main
August 10, 2023 12:25 13m 11s
Upstream JS changes to Dune engine
CI #5: Commit 2d7475b pushed by dkalinichenko-js
August 10, 2023 12:25 35m 23s main
August 10, 2023 12:25 35m 23s
Upstream JS changes to Dune engine
CI #4: Commit 4682db1 pushed by dkalinichenko-js
August 10, 2023 12:22 3m 58s main
August 10, 2023 12:22 3m 58s
Upstream JS changes to Dune engine
Build time benchmarks #4: Commit 4682db1 pushed by dkalinichenko-js
August 10, 2023 12:22 13m 18s main
August 10, 2023 12:22 13m 18s
Upstream JS changes to Dune engine
CI #3: Commit 25c5096 pushed by dkalinichenko-js
August 10, 2023 12:16 6m 12s main
August 10, 2023 12:16 6m 12s
Upstream JS changes to Dune engine
Build time benchmarks #3: Commit 25c5096 pushed by dkalinichenko-js
August 10, 2023 12:16 14m 2s main
August 10, 2023 12:16 14m 2s
Start copying commands from opam files (#8336)
Build time benchmarks #2: Commit 758e370 pushed by dkalinichenko-js
August 10, 2023 11:20 15m 2s main
August 10, 2023 11:20 15m 2s
Start copying commands from opam files (#8336)
CI #2: Commit 758e370 pushed by dkalinichenko-js
August 10, 2023 11:20 31m 49s main
August 10, 2023 11:20 31m 49s
refactor: scan alias dirs in parallel (#8261)
Build time benchmarks #1: Commit 69109f0 pushed by dkalinichenko-js
August 3, 2023 09:24 19m 22s main
August 3, 2023 09:24 19m 22s
refactor: scan alias dirs in parallel (#8261)
CI #1: Commit 69109f0 pushed by dkalinichenko-js
August 3, 2023 09:24 1h 12m 29s main
August 3, 2023 09:24 1h 12m 29s