Skip to content

Actions: ocaml/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,092 workflow run results
1,092 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
rjbou:opamroot-redirect
June 6, 2024 08:36 11s
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
rjbou:opamroot-redirect
June 6, 2024 08:36 55m 20s
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
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
dra27:35-items
June 6, 2024 08:34 51m 50s
Disentangle OpamProcess.resolve_command and OpamSystem.resolve_command Changelog check #3707: Pull request #5991 opened by dra27
June 6, 2024 08:31 17s dra27:resolving
dra27:resolving
June 6, 2024 08:31 17s
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
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
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
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
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
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
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
dra27:harden-curl-parsing
June 5, 2024 15:09 55m 36s
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
rjbou:opamroot-redirect
June 5, 2024 15:06 12s
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
rjbou:opamroot-redirect
June 5, 2024 15:06 52m 8s
Merge pull request #5983 from dra27/defined-filter Test scripts #129: Commit 945a14f pushed by kit-ty-kate
June 4, 2024 19:59 13s master
master
June 4, 2024 19:59 13s
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
master
June 4, 2024 19:59 51m 16s
Harden curl output parsing Builds, tests & co #2907: Pull request #5984 synchronize by kit-ty-kate
June 4, 2024 19:55 52m 32s dra27:harden-curl-parsing
dra27:harden-curl-parsing
June 4, 2024 19:55 52m 32s
Harden curl output parsing Changelog check #3702: Pull request #5984 synchronize by kit-ty-kate
June 4, 2024 19:55 13s dra27:harden-curl-parsing
dra27:harden-curl-parsing
June 4, 2024 19:55 13s
Avoid head -c GNUism in reftests Changelog check #3701: Pull request #5989 synchronize by kit-ty-kate
June 4, 2024 19:33 11s madroach:master
madroach:master
June 4, 2024 19:33 11s
Avoid head -c GNUism in reftests Builds, tests & co #2906: Pull request #5989 synchronize by kit-ty-kate
June 4, 2024 19:33 53m 34s madroach:master
madroach:master
June 4, 2024 19:33 53m 34s
Avoid head -c GNUism in reftests Builds, tests & co #2904: Pull request #5989 opened by madroach
June 4, 2024 19:19 54m 20s madroach:master
madroach:master
June 4, 2024 19:19 54m 20s
Avoid head -c GNUism in reftests Changelog check #3699: Pull request #5989 opened by madroach
June 4, 2024 19:19 14s madroach:master
madroach:master
June 4, 2024 19:19 14s
Harden curl output parsing Changelog check #3698: Pull request #5984 synchronize by kit-ty-kate
June 4, 2024 17:29 11s dra27:harden-curl-parsing
dra27:harden-curl-parsing
June 4, 2024 17:29 11s
Harden curl output parsing Builds, tests & co #2903: Pull request #5984 synchronize by kit-ty-kate
June 4, 2024 17:29 51m 33s dra27:harden-curl-parsing
dra27:harden-curl-parsing
June 4, 2024 17:29 51m 33s
Documentation: remove the ppa from the installation instructions on Ubuntu Changelog check #3697: Pull request #5988 synchronize by kit-ty-kate
June 4, 2024 17:26 10s kit-ty-kate:doc-install-no-ppa
kit-ty-kate:doc-install-no-ppa
June 4, 2024 17:26 10s