Skip to content

Actions: ocaml/opam-repository

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
1,636 workflow runs
1,636 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[new release] eio-trace (0.2) Windows CI #165: Pull request #26131 opened by talex5
June 22, 2024 10:12 4m 9s talex5:release-eio-trace-v0.2
talex5:release-eio-trace-v0.2
June 22, 2024 10:12 4m 9s
Update some Cygwin depexts Windows CI #164: Pull request #26130 opened by dra27
June 22, 2024 07:33 10m 29s dra27:os-cygwin
dra27:os-cygwin
June 22, 2024 07:33 10m 29s
[new release] twirp (4 packages) (0.1) Windows CI #163: Pull request #26129 opened by c-cube
June 21, 2024 19:15 7m 57s c-cube:release-twirp-v0.1
c-cube:release-twirp-v0.1
June 21, 2024 19:15 7m 57s
Add jasmin.2023.06.4 Windows CI #162: Pull request #26128 opened by eponier
June 21, 2024 16:05 3m 3s eponier:jasmin.2023.06.4
eponier:jasmin.2023.06.4
June 21, 2024 16:05 3m 3s
[new release] caisar (2.0) Windows CI #161: Pull request #26122 synchronize by caisar-platform
June 21, 2024 15:23 3m 28s caisar-platform:release-caisar-2.0
caisar-platform:release-caisar-2.0
June 21, 2024 15:23 3m 28s
Coq 8.19.2 (coq-core,coq-stdlib,coqide-server,coq) Windows CI #160: Pull request #26085 synchronize by SkySkimmer
June 21, 2024 14:04 5m 39s SkySkimmer:coq-8-19-2
SkySkimmer:coq-8-19-2
June 21, 2024 14:04 5m 39s
8 packages from ocaml/opam at 2.2.0~rc1 Windows CI #159: Pull request #26127 synchronize by dra27
June 21, 2024 13:54 21m 16s kit-ty-kate:opam-publish-opam.2.2.0-rc1
kit-ty-kate:opam-publish-opam.2.2.0-rc1
June 21, 2024 13:54 21m 16s
8 packages from ocaml/opam at 2.2.0~rc1 Windows CI #158: Pull request #26127 synchronize by dra27
June 21, 2024 13:43 7m 43s kit-ty-kate:opam-publish-opam.2.2.0-rc1
kit-ty-kate:opam-publish-opam.2.2.0-rc1
June 21, 2024 13:43 7m 43s
[new release] caisar (2.0) Windows CI #157: Pull request #26122 synchronize by caisar-platform
June 21, 2024 13:18 3m 19s caisar-platform:release-caisar-2.0
caisar-platform:release-caisar-2.0
June 21, 2024 13:18 3m 19s
Octez 20.1 Windows CI #156: Pull request #26124 synchronize by killian-delarue
June 21, 2024 09:31 10m 9s tezos:octez-20.1
tezos:octez-20.1
June 21, 2024 09:31 10m 9s
Release of LTest for Frama-C 29.0 (Copper) Windows CI #155: Pull request #26118 synchronize by tmarti2
June 21, 2024 05:52 6m 7s tmarti2:release-ltest-frama-c-29
tmarti2:release-ltest-frama-c-29
June 21, 2024 05:52 6m 7s
8 packages from ocaml/opam at 2.2.0~rc1 Windows CI #154: Pull request #26127 synchronize by kit-ty-kate
June 21, 2024 00:48 7m 31s kit-ty-kate:opam-publish-opam.2.2.0-rc1
kit-ty-kate:opam-publish-opam.2.2.0-rc1
June 21, 2024 00:48 7m 31s
8 packages from ocaml/opam at 2.2.0~rc1 Windows CI #153: Pull request #26127 opened by kit-ty-kate
June 21, 2024 00:45 2m 32s kit-ty-kate:opam-publish-opam.2.2.0-rc1
kit-ty-kate:opam-publish-opam.2.2.0-rc1
June 21, 2024 00:45 2m 32s
DO NOT MERGE - TEST OCAMLBUILD Windows CI #152: Pull request #26126 opened by hhugo
June 21, 2024 00:36 3m 6s hhugo:test-ocamlbuild
hhugo:test-ocamlbuild
June 21, 2024 00:36 3m 6s
[new release] tiny_httpd (2 packages) (0.17.0) Windows CI #151: Pull request #26125 opened by c-cube
June 20, 2024 19:35 4m 43s c-cube:release-tiny_httpd-v0.17.0
c-cube:release-tiny_httpd-v0.17.0
June 20, 2024 19:35 4m 43s
[new release] caisar (2.0) Windows CI #150: Pull request #26122 synchronize by caisar-platform
June 20, 2024 16:26 3m 13s caisar-platform:release-caisar-2.0
caisar-platform:release-caisar-2.0
June 20, 2024 16:26 3m 13s
[new release] caisar (2.0) Windows CI #149: Pull request #26122 synchronize by caisar-platform
June 20, 2024 16:19 2m 57s caisar-platform:release-caisar-2.0
caisar-platform:release-caisar-2.0
June 20, 2024 16:19 2m 57s
[new release] caisar (2.0) Windows CI #148: Pull request #26122 synchronize by caisar-platform
June 20, 2024 15:57 3m 20s caisar-platform:release-caisar-2.0
caisar-platform:release-caisar-2.0
June 20, 2024 15:57 3m 20s
[new release] caisar (2.0) Windows CI #147: Pull request #26122 synchronize by caisar-platform
June 20, 2024 15:52 3m 5s caisar-platform:release-caisar-2.0
caisar-platform:release-caisar-2.0
June 20, 2024 15:52 3m 5s
Octez 20.1 Windows CI #146: Pull request #26124 synchronize by killian-delarue
June 20, 2024 13:56 10m 3s tezos:octez-20.1
tezos:octez-20.1
June 20, 2024 13:56 10m 3s
Octez 20.1 Windows CI #145: Pull request #26124 opened by killian-delarue
June 20, 2024 13:49 10m 4s tezos:octez-20.1
tezos:octez-20.1
June 20, 2024 13:49 10m 4s
Coq 8.19.2 (coq-core,coq-stdlib,coqide-server,coq) Windows CI #144: Pull request #26085 synchronize by SkySkimmer
June 20, 2024 12:35 7m 29s SkySkimmer:coq-8-19-2
SkySkimmer:coq-8-19-2
June 20, 2024 12:35 7m 29s
Coq 8.19.2 (coq-core,coq-stdlib,coqide-server,coq) Windows CI #143: Pull request #26085 synchronize by SkySkimmer
June 20, 2024 12:34 10m 35s SkySkimmer:coq-8-19-2
SkySkimmer:coq-8-19-2
June 20, 2024 12:34 10m 35s
Add configuration for gmp under mingw Windows CI #142: Pull request #26102 synchronize by hhugo
June 20, 2024 12:34 3m 56s hhugo:gmp-mingw
hhugo:gmp-mingw
June 20, 2024 12:34 3m 56s
Release of LTest for Frama-C 29.0 (Copper) Windows CI #141: Pull request #26118 synchronize by tmarti2
June 20, 2024 07:50 6m 15s tmarti2:release-ltest-frama-c-29
tmarti2:release-ltest-frama-c-29
June 20, 2024 07:50 6m 15s
ProTip! You can narrow down the results and go further in time using created:<2024-06-20 or the other filters available.