Skip to content

Actions: moyodiallo/dune

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dune-binaries
Dune-binaries #1: Manually run by moyodiallo
May 7, 2024 15:21 6m 18s toolchains
May 7, 2024 15:21 6m 18s
Rename main.yml to dune-binaries.yml
CI #45: Commit 910e3e6 pushed by moyodiallo
May 7, 2024 15:20 7m 58s main
May 7, 2024 15:20 7m 58s
Rename main.yml to dune-binaries.yml
Build time benchmarks #9: Commit 910e3e6 pushed by moyodiallo
May 7, 2024 15:20 8m 7s main
May 7, 2024 15:20 8m 7s
Create main.yml
Build time benchmarks #8: Commit 4aad699 pushed by moyodiallo
May 7, 2024 14:06 8m 51s main
May 7, 2024 14:06 8m 51s
Create main.yml
CI #44: Commit 4aad699 pushed by moyodiallo
May 7, 2024 14:06 9m 6s main
May 7, 2024 14:06 9m 6s
refactor: move odoc priv rules to lib_rules (#10161)
CI #43: Commit b9f2600 pushed by moyodiallo
February 28, 2024 11:58 6h 0m 25s main
February 28, 2024 11:58 6h 0m 25s
refactor: move odoc priv rules to lib_rules (#10161)
Build time benchmarks #7: Commit b9f2600 pushed by moyodiallo
February 28, 2024 11:58 15m 49s main
February 28, 2024 11:58 15m 49s
fix(pkg): filter ls-remote (#9910)
Build time benchmarks #6: Commit 9c97308 pushed by moyodiallo
February 8, 2024 10:17 11m 17s main
February 8, 2024 10:17 11m 17s
fix(pkg): filter ls-remote (#9910)
CI #42: Commit 9c97308 pushed by moyodiallo
February 8, 2024 10:17 40m 47s main
February 8, 2024 10:17 40m 47s
Merge pull request #9858 from Leonidas-from-XIV/update-re
CI #41: Commit c54da76 pushed by moyodiallo
January 30, 2024 15:30 21m 58s main
January 30, 2024 15:30 21m 58s
Merge pull request #9858 from Leonidas-from-XIV/update-re
Build time benchmarks #5: Commit c54da76 pushed by moyodiallo
January 30, 2024 15:30 8m 27s main
January 30, 2024 15:30 8m 27s
refactor: move [status_map] to own module (#9825)
Build time benchmarks #4: Commit a379928 pushed by moyodiallo
January 24, 2024 14:37 11m 31s main
January 24, 2024 14:37 11m 31s
refactor: move [status_map] to own module (#9825)
CI #40: Commit a379928 pushed by moyodiallo
January 24, 2024 14:37 38m 59s main
January 24, 2024 14:37 38m 59s
January 11, 2024 15:02 29m 10s
Merge pull request #9683 from Leonidas-from-XIV/remove-skip-update
Build time benchmarks #3: Commit 3eec695 pushed by moyodiallo
January 11, 2024 15:02 11m 25s main
January 11, 2024 15:02 11m 25s
test(pkg): local sources in opam repo (#9583)
Build time benchmarks #2: Commit 77b531e pushed by moyodiallo
December 29, 2023 16:52 11m 38s main
December 29, 2023 16:52 11m 38s
test(pkg): local sources in opam repo (#9583)
CI #38: Commit 77b531e pushed by moyodiallo
December 29, 2023 16:52 36m 6s main
December 29, 2023 16:52 36m 6s