Skip to content

Actions: ocaml/opam-repository

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
3,837 workflow runs
3,837 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Package dbase4.0.1.5 Windows CI #3791: Pull request #27410 synchronize by mseri
February 13, 2025 14:10 5m 4s hothing:opam-publish-dbase4.0.1.5
hothing:opam-publish-dbase4.0.1.5
February 13, 2025 14:10 5m 4s
Fmlib bugfix release 0.5.11 Windows CI #3790: Pull request #27439 synchronize by hbr
February 13, 2025 13:42 31m 47s hbr:master
hbr:master
February 13, 2025 13:42 31m 47s
Fmlib bugfix release 0.5.11 Windows CI #3789: Pull request #27439 opened by hbr
February 13, 2025 13:34 32m 34s hbr:master
hbr:master
February 13, 2025 13:34 32m 34s
Fmlib bugfix release 0.5.10 Windows CI #3788: Pull request #27437 synchronize by hbr
February 13, 2025 13:31 32m 58s hbr:master
hbr:master
February 13, 2025 13:31 32m 58s
hashset: updated opam file Windows CI #3787: Pull request #27438 opened by backtracking
February 13, 2025 12:20 3m 6s backtracking:hashset-relaxed-ocaml-version
backtracking:hashset-relaxed-ocaml-version
February 13, 2025 12:20 3m 6s
Fmlib bugfix release 0.5.10 Windows CI #3786: Pull request #27437 opened by hbr
February 13, 2025 11:35 30m 52s hbr:master
hbr:master
February 13, 2025 11:35 30m 52s
Merge pull request #27414 from anmonteiro/release-reason-3.15.0 Windows CI #3785: Commit c4d5bda pushed by mseri
February 13, 2025 10:28 56s master
master
February 13, 2025 10:28 56s
Bump FStar to 2025.02.06 Windows CI #3784: Pull request #27428 synchronize by mseri
February 13, 2025 10:26 7m 27s chandradeepdey:fstar
chandradeepdey:fstar
February 13, 2025 10:26 7m 27s
Merge pull request #27416 from hannesm/release-mirage-kv-mem-v4.0.0 Windows CI #3783: Commit 355a9de pushed by mseri
February 13, 2025 10:24 1m 5s master
master
February 13, 2025 10:24 1m 5s
Merge pull request #27422 from hannesm/release-mirage-qubes-v2.0.0 Windows CI #3782: Commit fdae076 pushed by mseri
February 13, 2025 10:23 57s master
master
February 13, 2025 10:23 57s
Merge pull request #27411 from alan-j-hu/llvm-15-ef-compare Windows CI #3781: Commit 9162409 pushed by mseri
February 13, 2025 10:22 56s master
master
February 13, 2025 10:22 56s
Package dbase4.0.1.5 Windows CI #3780: Pull request #27410 synchronize by mseri
February 13, 2025 10:22 2m 39s hothing:opam-publish-dbase4.0.1.5
hothing:opam-publish-dbase4.0.1.5
February 13, 2025 10:22 2m 39s
Merge pull request #27408 from hannesm/release-dns-v10.0.0 Windows CI #3779: Commit cded8cc pushed by mseri
February 13, 2025 10:19 53s master
master
February 13, 2025 10:19 53s
Merge pull request #27402 from hhugo/release-js_of_ocaml-6.0.1 Windows CI #3778: Commit ab0b76f pushed by mseri
February 13, 2025 10:18 57s master
master
February 13, 2025 10:18 57s
Merge pull request #27405 from raphael-proust/opam-publish-seqes.0.4 Windows CI #3777: Commit ddbbedc pushed by mseri
February 13, 2025 10:18 55s master
master
February 13, 2025 10:18 55s
Merge pull request #27435 from Camshaft54/opam-publish-camelot.2.0.1 Windows CI #3776: Commit 7fdbf5d pushed by mseri
February 13, 2025 10:16 59s master
master
February 13, 2025 10:16 59s
Merge pull request #27434 from maranget/opam-publish-herdtools7.7.58 Windows CI #3775: Commit 0f19ffe pushed by mseri
February 13, 2025 10:15 54s master
master
February 13, 2025 10:15 54s
Merge pull request #27433 from gares/release-sel-v0.6.0 Windows CI #3774: Commit 8fb389f pushed by mseri
February 13, 2025 10:14 52s master
master
February 13, 2025 10:14 52s
Merge pull request #27432 from fpottier/opam-publish-visitors.20250212 Windows CI #3773: Commit d082a5c pushed by mseri
February 13, 2025 10:14 56s master
master
February 13, 2025 10:14 56s
Merge pull request #27436 from fpottier/master Windows CI #3772: Commit 71966b1 pushed by mseri
February 13, 2025 10:13 55s master
master
February 13, 2025 10:13 55s
Merge pull request #27407 from hannesm/irmin-cli-fix Windows CI #3771: Commit bcfd8a4 pushed by mseri
February 13, 2025 10:11 54s master
master
February 13, 2025 10:11 54s
Merge pull request #27418 from hannesm/release-logs-syslog-v0.5.0 Windows CI #3770: Commit 440364e pushed by mseri
February 13, 2025 10:10 55s master
master
February 13, 2025 10:10 55s
Merge pull request #27423 from hannesm/tcpip-logs-syslog Windows CI #3769: Commit d99cfcd pushed by mseri
February 13, 2025 10:10 57s master
master
February 13, 2025 10:10 57s
Merge pull request #27430 from ocaml/hannesm-patch-1 Windows CI #3768: Commit 1d0666d pushed by mseri
February 13, 2025 10:09 1m 5s master
master
February 13, 2025 10:09 1m 5s
Merge pull request #27431 from ocaml/hannesm-patch-2 Windows CI #3767: Commit 6355801 pushed by mseri
February 13, 2025 10:09 56s master
master
February 13, 2025 10:09 56s