Skip to content

Actions: ocaml/opam

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove ocaml-system from the list of default compilers used during opam init Changelog check #4743: Pull request #6307 synchronize by rjbou
February 25, 2025 15:53 12s kit-ty-kate:no-default-ocaml-system
kit-ty-kate:no-default-ocaml-system
February 25, 2025 15:53 12s
Remove ocaml-system from the list of default compilers used during opam init Builds, tests & co #4117: Pull request #6307 synchronize by rjbou
February 25, 2025 15:53 48m 16s kit-ty-kate:no-default-ocaml-system
kit-ty-kate:no-default-ocaml-system
February 25, 2025 15:53 48m 16s
Merge pull request #5960 from hannesm/migrate Builds, tests & co #4116: Commit 3d83651 pushed by rjbou
February 24, 2025 14:53 48m 49s master
master
February 24, 2025 14:53 48m 49s
Merge pull request #5960 from hannesm/migrate Test scripts #400: Commit 3d83651 pushed by rjbou
February 24, 2025 14:53 14s master
master
February 24, 2025 14:53 14s
github_actions in /. - Update #969306515 Dependabot Updates #12: by dependabot bot
February 24, 2025 07:00 34s master
master
February 24, 2025 07:00 34s
Ensure the right versions of packages are used when simulating pinning Changelog check #4742: Pull request #6256 synchronize by kit-ty-kate
February 22, 2025 13:08 13s kit-ty-kate:fix-opam-install-local-pinned-known-pkgs
kit-ty-kate:fix-opam-install-local-pinned-known-pkgs
February 22, 2025 13:08 13s
Ensure the right versions of packages are used when simulating pinning Builds, tests & co #4115: Pull request #6256 synchronize by kit-ty-kate
February 22, 2025 13:08 1h 40m 45s kit-ty-kate:fix-opam-install-local-pinned-known-pkgs
kit-ty-kate:fix-opam-install-local-pinned-known-pkgs
February 22, 2025 13:08 1h 40m 45s
Merge pull request #6317 from rjbou/lint-pin-depends Test scripts #399: Commit 7f62f01 pushed by kit-ty-kate
February 22, 2025 12:44 10s master
master
February 22, 2025 12:44 10s
Merge pull request #6317 from rjbou/lint-pin-depends Builds, tests & co #4114: Commit 7f62f01 pushed by kit-ty-kate
February 22, 2025 12:44 1h 3m 44s master
master
February 22, 2025 12:44 1h 3m 44s
Fail when trying to pin a package whose definition could not be found instead of forcing interactive edition Changelog check #4741: Pull request #6319 synchronize by kit-ty-kate
February 22, 2025 12:43 10s kit-ty-kate:no-edit-pkg-not-found-pin
kit-ty-kate:no-edit-pkg-not-found-pin
February 22, 2025 12:43 10s
Fail when trying to pin a package whose definition could not be found instead of forcing interactive edition Builds, tests & co #4113: Pull request #6319 synchronize by kit-ty-kate
February 22, 2025 12:43 52m 32s kit-ty-kate:no-edit-pkg-not-found-pin
kit-ty-kate:no-edit-pkg-not-found-pin
February 22, 2025 12:43 52m 32s
Fail when trying to pin a package whose definition could not be found instead of forcing interactive edition Changelog check #4740: Pull request #6319 synchronize by kit-ty-kate
February 22, 2025 12:40 10s kit-ty-kate:no-edit-pkg-not-found-pin
kit-ty-kate:no-edit-pkg-not-found-pin
February 22, 2025 12:40 10s
Fail when trying to pin a package whose definition could not be found instead of forcing interactive edition Builds, tests & co #4112: Pull request #6319 synchronize by kit-ty-kate
February 22, 2025 12:40 48m 27s kit-ty-kate:no-edit-pkg-not-found-pin
kit-ty-kate:no-edit-pkg-not-found-pin
February 22, 2025 12:40 48m 27s
Avoid polymorphic comparison functions in OpamListCommand Builds, tests & co #4111: Pull request #6381 synchronize by kit-ty-kate
February 22, 2025 11:56 42m 45s kit-ty-kate:OpamListCommand-no-poly-cmp
kit-ty-kate:OpamListCommand-no-poly-cmp
February 22, 2025 11:56 42m 45s
Avoid polymorphic comparison functions in OpamListCommand Changelog check #4739: Pull request #6381 synchronize by kit-ty-kate
February 22, 2025 11:56 9s kit-ty-kate:OpamListCommand-no-poly-cmp
kit-ty-kate:OpamListCommand-no-poly-cmp
February 22, 2025 11:56 9s
lint: add W74 to detect 'pin-depends' packages that are not present in 'depends' nor in 'depopts' Builds, tests & co #4110: Pull request #6317 synchronize by kit-ty-kate
February 22, 2025 11:52 46m 53s rjbou:lint-pin-depends
rjbou:lint-pin-depends
February 22, 2025 11:52 46m 53s
lint: add W74 to detect 'pin-depends' packages that are not present in 'depends' nor in 'depopts' Changelog check #4738: Pull request #6317 synchronize by kit-ty-kate
February 22, 2025 11:52 10s rjbou:lint-pin-depends
rjbou:lint-pin-depends
February 22, 2025 11:52 10s
lint: add W74 to detect 'pin-depends' packages that are not present in 'depends' nor in 'depopts' Builds, tests & co #4109: Pull request #6317 synchronize by kit-ty-kate
February 22, 2025 11:47 49m 3s rjbou:lint-pin-depends
rjbou:lint-pin-depends
February 22, 2025 11:47 49m 3s
lint: add W74 to detect 'pin-depends' packages that are not present in 'depends' nor in 'depopts' Changelog check #4737: Pull request #6317 synchronize by kit-ty-kate
February 22, 2025 11:47 9s rjbou:lint-pin-depends
rjbou:lint-pin-depends
February 22, 2025 11:47 9s
new subcommand: opam admin migrate-extrafiles Builds, tests & co #4108: Pull request #5960 synchronize by kit-ty-kate
February 21, 2025 18:16 46m 56s hannesm:migrate
hannesm:migrate
February 21, 2025 18:16 46m 56s
new subcommand: opam admin migrate-extrafiles Changelog check #4736: Pull request #5960 synchronize by kit-ty-kate
February 21, 2025 18:16 12s hannesm:migrate
hannesm:migrate
February 21, 2025 18:16 12s
new subcommand: opam admin migrate-extrafiles Builds, tests & co #4107: Pull request #5960 synchronize by rjbou
February 21, 2025 16:36 47m 12s hannesm:migrate
hannesm:migrate
February 21, 2025 16:36 47m 12s
new subcommand: opam admin migrate-extrafiles Changelog check #4735: Pull request #5960 synchronize by rjbou
February 21, 2025 16:36 9s hannesm:migrate
hannesm:migrate
February 21, 2025 16:36 9s
Merge pull request #5471 from rjbou/pin-depends-test Builds, tests & co #4106: Commit 380cbb3 pushed by rjbou
February 21, 2025 16:30 49m 29s master
master
February 21, 2025 16:30 49m 29s
Merge pull request #5471 from rjbou/pin-depends-test Test scripts #398: Commit 380cbb3 pushed by rjbou
February 21, 2025 16:30 11s master
master
February 21, 2025 16:30 11s