Skip to content

Actions: ocaml/opam

All workflows

Actions

Loading...

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

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

2.1.5 backport commits
Builds, tests & co #925: Pull request #5444 synchronize by rjbou
May 12, 2023 13:16 17m 21s kit-ty-kate:2.1.5-backport
May 12, 2023 13:16 17m 21s
2.1.5 backport commits
Builds, tests & co #924: Pull request #5444 synchronize by rjbou
May 12, 2023 13:07 8m 57s kit-ty-kate:2.1.5-backport
May 12, 2023 13:07 8m 57s
2.1.5 backport commits
Builds, tests & co #923: Pull request #5444 synchronize by rjbou
May 12, 2023 09:56 44s kit-ty-kate:2.1.5-backport
May 12, 2023 09:56 44s
Merge pull request #5542 from rjbou/cygwin-depexts
Builds, tests & co #2042: Commit f539e4c pushed by rjbou
May 11, 2023 12:56 1h 51m 31s master
May 11, 2023 12:56 1h 51m 31s
Merge pull request #5542 from rjbou/cygwin-depexts
depexts #149: Commit f539e4c pushed by rjbou
May 11, 2023 12:56 23m 42s master
May 11, 2023 12:56 23m 42s
Merge pull request #5548 from rjbou/dpx-fix
Builds, tests & co #2041: Commit cca7795 pushed by rjbou
May 11, 2023 10:07 1h 31m 34s master
May 11, 2023 10:07 1h 31m 34s
Depexts: add cygwin support
Builds, tests & co #2040: Pull request #5542 synchronize by rjbou
May 11, 2023 09:13 1h 48m 55s rjbou:cygwin-depexts
May 11, 2023 09:13 1h 48m 55s
Depexts: add cygwin support
Changelog check #2873: Pull request #5542 synchronize by rjbou
May 11, 2023 09:13 17s rjbou:cygwin-depexts
May 11, 2023 09:13 17s
Depexts: add cygwin support
depexts #148: Pull request #5542 synchronize by rjbou
May 11, 2023 09:13 23m 23s rjbou:cygwin-depexts
May 11, 2023 09:13 23m 23s
depexts: don't compute when sets are empty
Builds, tests & co #2039: Pull request #5548 synchronize by rjbou
May 11, 2023 08:39 1h 24m 15s rjbou:dpx-fix
May 11, 2023 08:39 1h 24m 15s
depexts: don't compute when sets are empty
Changelog check #2872: Pull request #5548 synchronize by rjbou
May 11, 2023 08:39 12s rjbou:dpx-fix
May 11, 2023 08:39 12s
depexts: don't compute when sets are empty
Builds, tests & co #2038: Pull request #5548 opened by rjbou
May 10, 2023 22:28 2h 37m 2s rjbou:dpx-fix
May 10, 2023 22:28 2h 37m 2s
depexts: don't compute when sets are empty
Changelog check #2871: Pull request #5548 opened by rjbou
May 10, 2023 22:28 2m 59s rjbou:dpx-fix
May 10, 2023 22:28 2m 59s
depexts & cygwin: internal mechanism for available packages
Builds, tests & co #2037: Pull request #5546 opened by rjbou
May 10, 2023 22:25 1h 19m 46s rjbou:cygwin-update-depexts
May 10, 2023 22:25 1h 19m 46s
init: install cygwin internally
Changelog check #2869: Pull request #5545 opened by rjbou
May 10, 2023 22:24 1m 30s rjbou:cygwin-internal-install
May 10, 2023 22:24 1m 30s
init: install cygwin internally
depexts #146: Pull request #5545 opened by rjbou
May 10, 2023 22:24 2m 17s rjbou:cygwin-internal-install
May 10, 2023 22:24 2m 17s
init: install cygwin internally
Builds, tests & co #2036: Pull request #5545 opened by rjbou
May 10, 2023 22:24 1h 26m 14s rjbou:cygwin-internal-install
May 10, 2023 22:24 1h 26m 14s
init: detect local cygwin installation
Builds, tests & co #2035: Pull request #5544 opened by rjbou
May 10, 2023 22:23 1h 51m 1s rjbou:cygwin-local-detection
May 10, 2023 22:23 1h 51m 1s
init: detect local cygwin installation
depexts #145: Pull request #5544 opened by rjbou
May 10, 2023 22:23 23m 34s rjbou:cygwin-local-detection
May 10, 2023 22:23 23m 34s
init: detect local cygwin installation
Changelog check #2868: Pull request #5544 opened by rjbou
May 10, 2023 22:23 14s rjbou:cygwin-local-detection
May 10, 2023 22:23 14s
Better cygwin support in core
Changelog check #2867: Pull request #5543 opened by rjbou
May 10, 2023 22:22 54s rjbou:cygwin-env-handling
May 10, 2023 22:22 54s
Better cygwin support in core
depexts #144: Pull request #5543 opened by rjbou
May 10, 2023 22:22 12m 6s rjbou:cygwin-env-handling
May 10, 2023 22:22 12m 6s
Better cygwin support in core
Builds, tests & co #2034: Pull request #5543 opened by rjbou
May 10, 2023 22:22 5m 5s rjbou:cygwin-env-handling
May 10, 2023 22:22 5m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-05-10 or the other filters available.