Skip to content

Actions: ocaml/opam

Builds, tests & co

Actions

Loading...

Show workflow options

Create status badge

1,031 workflow runs
1,031 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Extend OpamConsole.menu to support 35 options
Builds, tests & co #2932: Pull request #5992 synchronize by kit-ty-kate
June 6, 2024 11:10 51m 46s dra27:35-items
June 6, 2024 11:10 51m 46s
Small refactoring and fixes to opam init on Windows.
Builds, tests & co #2931: Pull request #6000 synchronize by dra27
June 6, 2024 11:00 46m 33s dra27:revised-windows-init
June 6, 2024 11:00 46m 33s
Merge pull request #5998 from dra27/wind-ci
Builds, tests & co #2930: Commit 1ff0770 pushed by dra27
June 6, 2024 10:57 53m 26s master
June 6, 2024 10:57 53m 26s
Merge pull request #5996 from dra27/make-shadow
Builds, tests & co #2929: Commit b97e1aa pushed by rjbou
June 6, 2024 10:16 49m 3s master
June 6, 2024 10:16 49m 3s
Merge pull request #5995 from dra27/write-reg
Builds, tests & co #2928: Commit e9bb7ba pushed by rjbou
June 6, 2024 10:16 56m 59s master
June 6, 2024 10:16 56m 59s
Merge pull request #5993 from dra27/harden
Builds, tests & co #2927: Commit 2a51251 pushed by dra27
June 6, 2024 09:40 1h 23m 33s master
June 6, 2024 09:40 1h 23m 33s
Extend OpamConsole.menu to support 35 options
Builds, tests & co #2926: Pull request #5992 synchronize by dra27
June 6, 2024 09:39 1h 18m 13s dra27:35-items
June 6, 2024 09:39 1h 18m 13s
Display lock hold/release messages on stderr instead of stdout
Builds, tests & co #2925: Pull request #5999 synchronize by kit-ty-kate
June 6, 2024 09:04 1h 50m 17s kit-ty-kate:lock-stderr
June 6, 2024 09:04 1h 50m 17s
Small refactoring and fixes to opam init on Windows.
Builds, tests & co #2924: Pull request #6000 opened by dra27
June 6, 2024 09:03 1h 41m 11s dra27:revised-windows-init
June 6, 2024 09:03 1h 41m 11s
Display lock hold/release messages on stderr instead of stdout
Builds, tests & co #2923: Pull request #5999 opened by kit-ty-kate
June 6, 2024 08:58 1h 44m 19s kit-ty-kate:lock-stderr
June 6, 2024 08:58 1h 44m 19s
Wind CI forwards to the Windows compilers
Builds, tests & co #2922: Pull request #5998 synchronize by dra27
June 6, 2024 08:53 1h 37m 39s dra27:wind-ci
June 6, 2024 08:53 1h 37m 39s
Wind CI forwards to the Windows compilers
Builds, tests & co #2921: Pull request #5998 opened by dra27
June 6, 2024 08:51 1h 31m 32s dra27:wind-ci
June 6, 2024 08:51 1h 31m 32s
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
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
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
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
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
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
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
Merge pull request #5983 from dra27/defined-filter
Builds, tests & co #2908: Commit 945a14f pushed by kit-ty-kate
June 4, 2024 19:59 51m 16s master
June 4, 2024 19:59 51m 16s