Skip to content

Actions: ocaml/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,618 workflow runs
3,618 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check that the repositories given to "opam repository remove" actually exist Changelog check #4618: Pull request #5014 synchronize by kit-ty-kate
December 17, 2024 18:47 14s kit-ty-kate:check-repos-remove-exist
kit-ty-kate:check-repos-remove-exist
December 17, 2024 18:47 14s
Check that the repositories given to "opam repository remove" actually exist Builds, tests & co #3976: Pull request #5014 synchronize by kit-ty-kate
December 17, 2024 18:47 46m 48s kit-ty-kate:check-repos-remove-exist
kit-ty-kate:check-repos-remove-exist
December 17, 2024 18:47 46m 48s
Check that the repositories given to "opam repository remove" actually exist Changelog check #4617: Pull request #5014 synchronize by kit-ty-kate
December 17, 2024 18:46 9s kit-ty-kate:check-repos-remove-exist
kit-ty-kate:check-repos-remove-exist
December 17, 2024 18:46 9s
Check that the repositories given to "opam repository remove" actually exist Builds, tests & co #3975: Pull request #5014 synchronize by kit-ty-kate
December 17, 2024 18:46 46m 42s kit-ty-kate:check-repos-remove-exist
kit-ty-kate:check-repos-remove-exist
December 17, 2024 18:46 46m 42s
Merge pull request #6255 from kit-ty-kate/gpatch-homebrew Test scripts #371: Commit 68f993d pushed by kit-ty-kate
December 17, 2024 18:14 11s master
master
December 17, 2024 18:14 11s
Merge pull request #6255 from kit-ty-kate/gpatch-homebrew Builds, tests & co #3974: Commit 68f993d pushed by kit-ty-kate
December 17, 2024 18:14 49m 54s master
master
December 17, 2024 18:14 49m 54s
Lookup at gpatch before patch on macOS now that both homebrew and macports expose gpatch as gpatch Changelog check #4616: Pull request #6255 synchronize by kit-ty-kate
December 17, 2024 17:29 9s kit-ty-kate:gpatch-homebrew
kit-ty-kate:gpatch-homebrew
December 17, 2024 17:29 9s
Lookup at gpatch before patch on macOS now that both homebrew and macports expose gpatch as gpatch Builds, tests & co #3973: Pull request #6255 synchronize by kit-ty-kate
December 17, 2024 17:29 44m 6s kit-ty-kate:gpatch-homebrew
kit-ty-kate:gpatch-homebrew
December 17, 2024 17:29 44m 6s
Merge pull request #6210 from kit-ty-kate/speedup-string-split Builds, tests & co #3972: Commit 6dfc1ec pushed by kit-ty-kate
December 17, 2024 17:07 44m 19s master
master
December 17, 2024 17:07 44m 19s
Merge pull request #6210 from kit-ty-kate/speedup-string-split Test scripts #370: Commit 6dfc1ec pushed by kit-ty-kate
December 17, 2024 17:07 16s master
master
December 17, 2024 17:07 16s
perf: optimize OpamString.split Changelog check #4615: Pull request #6210 synchronize by kit-ty-kate
December 17, 2024 14:23 11s kit-ty-kate:speedup-string-split
kit-ty-kate:speedup-string-split
December 17, 2024 14:23 11s
perf: optimize OpamString.split Builds, tests & co #3971: Pull request #6210 synchronize by kit-ty-kate
December 17, 2024 14:23 43m 13s kit-ty-kate:speedup-string-split
kit-ty-kate:speedup-string-split
December 17, 2024 14:23 43m 13s
perf: optimize OpamString.split Builds, tests & co #3970: Pull request #6210 synchronize by kit-ty-kate
December 17, 2024 14:12 43m 27s kit-ty-kate:speedup-string-split
kit-ty-kate:speedup-string-split
December 17, 2024 14:12 43m 27s
perf: optimize OpamString.split Changelog check #4614: Pull request #6210 synchronize by kit-ty-kate
December 17, 2024 14:12 10s kit-ty-kate:speedup-string-split
kit-ty-kate:speedup-string-split
December 17, 2024 14:12 10s
perf: optimize OpamString.split Changelog check #4613: Pull request #6210 synchronize by kit-ty-kate
December 17, 2024 12:29 10s kit-ty-kate:speedup-string-split
kit-ty-kate:speedup-string-split
December 17, 2024 12:29 10s
perf: optimize OpamString.split Builds, tests & co #3969: Pull request #6210 synchronize by kit-ty-kate
December 17, 2024 12:29 9m 5s kit-ty-kate:speedup-string-split
kit-ty-kate:speedup-string-split
December 17, 2024 12:29 9m 5s
perf: optimize OpamString.split Builds, tests & co #3968: Pull request #6210 synchronize by kit-ty-kate
December 17, 2024 12:25 53m 50s kit-ty-kate:speedup-string-split
kit-ty-kate:speedup-string-split
December 17, 2024 12:25 53m 50s
perf: optimize OpamString.split Changelog check #4612: Pull request #6210 synchronize by kit-ty-kate
December 17, 2024 12:25 9s kit-ty-kate:speedup-string-split
kit-ty-kate:speedup-string-split
December 17, 2024 12:25 9s
Merge pull request #6212 from kit-ty-kate/bench-opam-show Test scripts #369: Commit cdb49a5 pushed by kit-ty-kate
December 17, 2024 12:24 14s master
master
December 17, 2024 12:24 14s
Merge pull request #6212 from kit-ty-kate/bench-opam-show Builds, tests & co #3967: Commit cdb49a5 pushed by kit-ty-kate
December 17, 2024 12:24 43m 32s master
master
December 17, 2024 12:24 43m 32s
Add benchmarks for opam show and String.split Changelog check #4611: Pull request #6212 synchronize by kit-ty-kate
December 17, 2024 11:59 15s kit-ty-kate:bench-opam-show
kit-ty-kate:bench-opam-show
December 17, 2024 11:59 15s
Check that the repositories given to "opam repository remove" actually exist Changelog check #4610: Pull request #5014 synchronize by kit-ty-kate
December 17, 2024 00:10 15s kit-ty-kate:check-repos-remove-exist
kit-ty-kate:check-repos-remove-exist
December 17, 2024 00:10 15s
Check that the repositories given to "opam repository remove" actually exist Builds, tests & co #3966: Pull request #5014 synchronize by kit-ty-kate
December 17, 2024 00:10 43m 39s kit-ty-kate:check-repos-remove-exist
kit-ty-kate:check-repos-remove-exist
December 17, 2024 00:10 43m 39s
Add benchmarks for opam show and String.split Changelog check #4609: Pull request #6212 synchronize by kit-ty-kate
December 16, 2024 19:49 11s kit-ty-kate:bench-opam-show
kit-ty-kate:bench-opam-show
December 16, 2024 19:49 11s
opam admin check: Set with-test and with-doc to false by default Builds, tests & co #3965: Pull request #6335 synchronize by kit-ty-kate
December 16, 2024 14:47 9m 8s kit-ty-kate:admin-check-test-doc-dev-setup
kit-ty-kate:admin-check-test-doc-dev-setup
December 16, 2024 14:47 9m 8s