Skip to content

Actions: ocaml/opam-repository-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

revive elpi 2.0.6 to the main opam repository ci #51: Pull request #25 opened by hannesm
August 11, 2025 08:38 6m 58s elpi-2.0.6
elpi-2.0.6
August 11, 2025 08:38 6m 58s
elpi 1.18.2 is re-added to main repository ci #50: Pull request #24 opened by hannesm
July 22, 2025 09:47 6m 52s elpi-1.18.2
elpi-1.18.2
July 22, 2025 09:47 6m 52s
fix: build syntax dose.3.4.2 ci #49: Pull request #23 opened by liyishuai
July 15, 2025 05:23 6m 55s liyishuai:patch-1
liyishuai:patch-1
July 15, 2025 05:23 6m 55s
dune 3.15.3 is revived for rocq ci #48: Pull request #22 opened by hannesm
June 30, 2025 09:17 6m 47s dune-3-15-3-back
dune-3-15-3-back
June 30, 2025 09:17 6m 47s
put elpi 1.16.10, 1.17.4, 1.18.1, 1.19.6 back to the main opam-repository ci #47: Pull request #21 synchronize by hannesm
June 23, 2025 20:27 3m 0s elpi-revive
elpi-revive
June 23, 2025 20:27 3m 0s
put elpi 1.16.10, 1.17.4, 1.18.1, 1.19.6 back to the main opam-repository ci #46: Pull request #21 opened by hannesm
June 23, 2025 16:22 6m 34s elpi-revive
elpi-revive
June 23, 2025 16:22 6m 34s
recover dune 3.17.2 to the main repository ci #45: Pull request #19 opened by hannesm
June 23, 2025 07:06 6m 40s dune-3-17-2-back
dune-3-17-2-back
June 23, 2025 07:06 6m 40s
x-maintenance-intent run 20250530 ci #44: Pull request #18 synchronize by hannesm
June 19, 2025 20:21 8m 35s maintenance-intent
maintenance-intent
June 19, 2025 20:21 8m 35s
x-maintenance-intent run 20250530 ci #43: Pull request #18 synchronize by hannesm
June 6, 2025 09:49 5m 8s maintenance-intent
maintenance-intent
June 6, 2025 09:49 5m 8s
x-maintenance-intent run 20250530 ci #42: Pull request #18 synchronize by hannesm
June 2, 2025 10:21 3m 54s maintenance-intent
maintenance-intent
June 2, 2025 10:21 3m 54s
x-maintenance-intent run 20250530 ci #41: Pull request #18 opened by hannesm
June 2, 2025 09:36 7m 43s maintenance-intent
maintenance-intent
June 2, 2025 09:36 7m 43s
cleanup the x-maintained: false packages ci #40: Pull request #17 synchronize by hannesm
April 24, 2025 08:43 3m 10s maintained-false
maintained-false
April 24, 2025 08:43 3m 10s
cleanup the x-maintained: false packages ci #39: Pull request #17 opened by hannesm
April 23, 2025 12:39 6m 58s maintained-false
maintained-false
April 23, 2025 12:39 6m 58s
Remove gappa since it is being reintroduced in the opam repository ci #38: Pull request #16 opened by mseri
April 10, 2025 13:13 6m 53s mseri:gappa
mseri:gappa
April 10, 2025 13:13 6m 53s
Point to hash-stable released tarballs for Coq 8.5-8.6 versions ci #37: Pull request #15 opened by mattam82
March 26, 2025 18:06 2m 40s mattam82:update-coq-release-tarballs
mattam82:update-coq-release-tarballs
March 26, 2025 18:06 2m 40s
seq 0.2.2 needs archiving ci #36: Pull request #13 opened by mseri
March 17, 2025 09:16 6m 25s mseri:seq
mseri:seq
March 17, 2025 09:16 6m 25s
remove base-ocamlbuild here ci #35: Pull request #12 reopened by hannesm
March 10, 2025 10:33 3m 37s no-base-ocamlbuild
no-base-ocamlbuild
March 10, 2025 10:33 3m 37s
remove base-ocamlbuild here ci #34: Pull request #12 synchronize by hannesm
February 28, 2025 23:34 2m 44s no-base-ocamlbuild
no-base-ocamlbuild
February 28, 2025 23:34 2m 44s
remove base-ocamlbuild here ci #33: Pull request #12 opened by hannesm
February 28, 2025 23:14 6m 23s no-base-ocamlbuild
no-base-ocamlbuild
February 28, 2025 23:14 6m 23s
qinap 1.0: move back to the opam repository ci #32: Pull request #11 opened by mseri
February 27, 2025 14:59 6m 29s mseri:qinap
mseri:qinap
February 27, 2025 14:59 6m 29s
ocaml lower bound 4.08.0 ci #31: Pull request #10 synchronize by hannesm
February 17, 2025 10:43 6m 45s archival-phase-2-5
archival-phase-2-5
February 17, 2025 10:43 6m 45s
ocaml lower bound 4.08.0 ci #30: Pull request #10 opened by hannesm
February 1, 2025 21:34 6m 36s archival-phase-2-5
archival-phase-2-5
February 1, 2025 21:34 6m 36s
Archive phase2 ci #29: Pull request #6 synchronize by hannesm
February 1, 2025 16:48 7m 36s archive-phase2
archive-phase2
February 1, 2025 16:48 7m 36s
Archive phase2 ci #28: Pull request #6 synchronize by hannesm
January 15, 2025 14:24 3m 33s archive-phase2
archive-phase2
January 15, 2025 14:24 3m 33s
Archive phase2 ci #27: Pull request #6 synchronize by hannesm
January 15, 2025 12:55 3m 32s archive-phase2
archive-phase2
January 15, 2025 12:55 3m 32s