Skip to content

Actions: ocaml/opam

All workflows

Actions

Loading...

Showing runs from all workflows
2,200 workflow runs
2,200 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Rename and slightly repurpose OpamClient.git_for_windows_check
Builds, tests & co #2920: Pull request #5997 opened by dra27
June 6, 2024 08:50 1h 19m 49s dra27:git-location-diff
June 6, 2024 08:50 1h 19m 49s
Don't allow make to become shadowed
Changelog check #3713: Pull request #5996 opened by dra27
June 6, 2024 08:46 13s dra27:make-shadow
June 6, 2024 08:46 13s
Don't allow make to become shadowed
Builds, tests & co #2919: Pull request #5996 opened by dra27
June 6, 2024 08:46 1h 22m 49s dra27:make-shadow
June 6, 2024 08:46 1h 22m 49s
Always pass --no-write-registry to Cygwin setup
Builds, tests & co #2918: Pull request #5995 opened by dra27
June 6, 2024 08:43 1h 23m 12s dra27:write-reg
June 6, 2024 08:43 1h 23m 12s
Always pass --no-write-registry to Cygwin setup
depexts #208: Pull request #5995 opened by dra27
June 6, 2024 08:43 15m 59s dra27:write-reg
June 6, 2024 08:43 15m 59s
Always pass --no-write-registry to Cygwin setup
Changelog check #3712: Pull request #5995 opened by dra27
June 6, 2024 08:43 14s dra27:write-reg
June 6, 2024 08:43 14s
API: Allow explicit installation of system packages
Changelog check #3711: Pull request #5994 opened by dra27
June 6, 2024 08:41 13s dra27:exposing-depexts
June 6, 2024 08:41 13s
API: Allow explicit installation of system packages
Builds, tests & co #2917: Pull request #5994 opened by dra27
June 6, 2024 08:41 1h 23m 23s dra27:exposing-depexts
June 6, 2024 08:41 1h 23m 23s
Harden OpamStd.Sys.check_dll
Builds, tests & co #2916: Pull request #5993 opened by dra27
June 6, 2024 08:36 53m 52s dra27:harden
June 6, 2024 08:36 53m 52s
Harden OpamStd.Sys.check_dll
Changelog check #3710: Pull request #5993 opened by dra27
June 6, 2024 08:36 12s dra27:harden
June 6, 2024 08:36 12s
windows: opam root redirection when path contains spaces
Builds, tests & co #2915: Pull request #5457 synchronize by rjbou
June 6, 2024 08:36 55m 20s rjbou:opamroot-redirect
June 6, 2024 08:36 55m 20s
windows: opam root redirection when path contains spaces
Changelog check #3709: Pull request #5457 synchronize by rjbou
June 6, 2024 08:36 11s rjbou:opamroot-redirect
June 6, 2024 08:36 11s
Extend OpamConsole.menu to support 35 options
Changelog check #3708: Pull request #5992 opened by dra27
June 6, 2024 08:34 18s dra27:35-items
June 6, 2024 08:34 18s
Extend OpamConsole.menu to support 35 options
Builds, tests & co #2914: Pull request #5992 opened by dra27
June 6, 2024 08:34 51m 50s dra27:35-items
June 6, 2024 08:34 51m 50s
Disentangle OpamProcess.resolve_command and OpamSystem.resolve_command
Builds, tests & co #2913: Pull request #5991 opened by dra27
June 6, 2024 08:31 51m 33s dra27:resolving
June 6, 2024 08:31 51m 33s
windows: opam root redirection when path contains spaces
Builds, tests & co #2912: Pull request #5457 synchronize by rjbou
June 5, 2024 17:59 56m 21s rjbou:opamroot-redirect
June 5, 2024 17:59 56m 21s
windows: opam root redirection when path contains spaces
Changelog check #3706: Pull request #5457 synchronize by rjbou
June 5, 2024 17:59 15s rjbou:opamroot-redirect
June 5, 2024 17:59 15s
windows: opam root redirection when path contains spaces
Changelog check #3705: Pull request #5457 synchronize by rjbou
June 5, 2024 17:54 15s rjbou:opamroot-redirect
June 5, 2024 17:54 15s
windows: opam root redirection when path contains spaces
Builds, tests & co #2911: Pull request #5457 synchronize by rjbou
June 5, 2024 17:54 2m 50s rjbou:opamroot-redirect
June 5, 2024 17:54 2m 50s
Harden curl output parsing
Changelog check #3704: Pull request #5984 synchronize by kit-ty-kate
June 5, 2024 15:09 16s dra27:harden-curl-parsing
June 5, 2024 15:09 16s
Harden curl output parsing
Builds, tests & co #2910: Pull request #5984 synchronize by kit-ty-kate
June 5, 2024 15:09 55m 36s dra27:harden-curl-parsing
June 5, 2024 15:09 55m 36s
windows: opam root redirection when path contains spaces
Builds, tests & co #2909: Pull request #5457 synchronize by rjbou
June 5, 2024 15:06 52m 8s rjbou:opamroot-redirect
June 5, 2024 15:06 52m 8s
windows: opam root redirection when path contains spaces
Changelog check #3703: Pull request #5457 synchronize by rjbou
June 5, 2024 15:06 12s rjbou:opamroot-redirect
June 5, 2024 15:06 12s