Skip to content

Actions: proux01/opam-coq-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add validsdp 1.0.4 CI #126: Commit 9a62242 pushed by proux01
February 7, 2025 12:13 4m 51s validsdp104
validsdp104
February 7, 2025 12:13 4m 51s
Remove dune upper bound for the docker image CI #125: Commit 1cced1d pushed by proux01
February 4, 2025 13:39 4m 44s dune-upper-bound-docker
dune-upper-bound-docker
February 4, 2025 13:39 4m 44s
real-closed.2.0.2 compiles on Rocq 9.0+rc1 CI #124: Commit c5e8c6f pushed by proux01
February 3, 2025 10:13 5m 46s multinomials-rocq9
multinomials-rocq9
February 3, 2025 10:13 5m 46s
[extra-dev] Update mathcomp packages CI #123: Commit e39f1a9 pushed by proux01
January 26, 2025 13:43 4m 52s extra-dev-mathcomp
extra-dev-mathcomp
January 26, 2025 13:43 4m 52s
[extra-dev] Update coq-coqeal.dev CI #122: Commit 6ac329f pushed by proux01
January 25, 2025 19:02 5m 3s coqeal-dev
coqeal-dev
January 25, 2025 19:02 5m 3s
Backport from coq-nix-toolbox CI #121: Commit b6100f9 pushed by proux01
January 25, 2025 18:45 2m 8s nix-backport
nix-backport
January 25, 2025 18:45 2m 8s
Backport from coq-nix-toolbox CI #120: Commit 4d31139 pushed by proux01
January 25, 2025 18:35 1m 38s nix-backport
nix-backport
January 25, 2025 18:35 1m 38s
Backport from coq-nix-toolbox CI #119: Commit fc3325a pushed by proux01
January 25, 2025 18:25 1m 24s nix-backport
nix-backport
January 25, 2025 18:25 1m 24s
Backport from coq-nix-toolbox CI #118: Commit 89aed6e pushed by proux01
January 25, 2025 15:30 5m 3s nix-backport
nix-backport
January 25, 2025 15:30 5m 3s
Add rocq-bignums CI #117: Commit 80f2f47 pushed by proux01
January 25, 2025 11:55 1m 45s bignums9
bignums9
January 25, 2025 11:55 1m 45s
Add rocq-bignums CI #116: Commit 587804c pushed by proux01
January 25, 2025 11:46 1m 28s bignums9
bignums9
January 25, 2025 11:46 1m 28s
Add rocq-bignums CI #115: Commit c2dea42 pushed by proux01
January 25, 2025 11:39 5m 52s bignums9
bignums9
January 25, 2025 11:39 5m 52s
[core-dev] Update rocq-stdlib bounds CI #114: Commit 06199f9 pushed by proux01
January 25, 2025 09:51 4m 52s rocq-stdlib-dev
rocq-stdlib-dev
January 25, 2025 09:51 4m 52s
[core-dev] Add Rocq 9.0+rc1 CI #113: Commit 1a5cb82 pushed by proux01
January 24, 2025 16:50 5m 2s rocq90rc1
rocq90rc1
January 24, 2025 16:50 5m 2s
[core-dev] 9.0 Update according to tag V9.0+rc1 in coq/coq repo CI #112: Commit fdab432 pushed by proux01
January 24, 2025 15:37 1m 32s core-dev-rocq
core-dev-rocq
January 24, 2025 15:37 1m 32s
[core-dev] 9.0 Update according to tag V9.0+rc1 in coq/coq repo CI #111: Commit a85c595 pushed by proux01
January 24, 2025 14:34 1m 27s core-dev-rocq
core-dev-rocq
January 24, 2025 14:34 1m 27s
[core-dev] 9.0 Update according to tag V9.0+rc1 in coq/coq repo CI #110: Commit 77ca23e pushed by proux01
January 24, 2025 14:16 1m 30s core-dev-rocq
core-dev-rocq
January 24, 2025 14:16 1m 30s
[core-dev] 9.0 Update according to tag V9.0+rc1 in coq/coq repo CI #109: Commit 2807a7e pushed by proux01
January 24, 2025 13:40 4m 50s core-dev-rocq
core-dev-rocq
January 24, 2025 13:40 4m 50s
[core-dev] Renaming coqide -> rocqide CI #108: Commit 044833e pushed by proux01
January 17, 2025 13:00 4m 50s rocqide_dev
rocqide_dev
January 17, 2025 13:00 4m 50s
[core-dev] Remove rocq-native CI #107: Commit f8700b3 pushed by proux01
January 13, 2025 06:28 4m 59s rm-rocq-native
rm-rocq-native
January 13, 2025 06:28 4m 59s
Adapt to https://github.com/coq/coq/pull/19975 (Give Stdlib its own r… CI #106: Commit 31de2b9 pushed by proux01
January 8, 2025 13:15 5m 32s stdlib_repo
stdlib_repo
January 8, 2025 13:15 5m 32s
Add validsdp 1.0.3 CI #105: Commit 337454a pushed by proux01
January 6, 2025 12:37 2m 25s validsdp103
validsdp103
January 6, 2025 12:37 2m 25s
Add validsdp 1.0.3 CI #104: Commit b86caa4 pushed by proux01
January 6, 2025 12:28 4m 56s validsdp103
validsdp103
January 6, 2025 12:28 4m 56s
Add odd-order 2.1.0 CI #103: Commit 02b08f0 pushed by proux01
January 4, 2025 12:04 1m 33s oddorder201
oddorder201
January 4, 2025 12:04 1m 33s
Add odd-order 2.1.0 CI #102: Commit 573df02 pushed by proux01
January 4, 2025 11:56 5m 3s oddorder201
oddorder201
January 4, 2025 11:56 5m 3s