Skip to content

Actions: proux01/opam-coq-archive

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[extra-dev] Rename mathcomp-altreals to mathcomp-experimental-reals CI #80: Commit 6527a00 pushed by proux01
November 12, 2024 07:09 2m 39s mathcomp-experimental-reals
mathcomp-experimental-reals
November 12, 2024 07:09 2m 39s
Make ci-skip work without version CI #79: Commit 1d34fa1 pushed by proux01
November 8, 2024 15:33 5m 47s ci-skip-all-versions
ci-skip-all-versions
November 8, 2024 15:33 5m 47s
[extra-dev] Rename mathcomp-altreals to mathcomp-experimental-reals CI #78: Commit b6022c7 pushed by proux01
November 8, 2024 10:44 5m 57s mathcomp-experimental-reals
mathcomp-experimental-reals
November 8, 2024 10:44 5m 57s
Update coq-elpi.dev lower bound on ocaml CI #77: Commit 2bfd660 pushed by proux01
October 30, 2024 06:58 1h 10m 49s elpi-ocaml-lb
elpi-ocaml-lb
October 30, 2024 06:58 1h 10m 49s
[extra-dev] Add coq-mathcomp-reals, coq-mathcomp-altreals, coq-mathco… CI #76: Commit 7fadc80 pushed by proux01
October 29, 2024 18:19 2m 59s analysis-reals
analysis-reals
October 29, 2024 18:19 2m 59s
[extra-dev] Add coq-mathcomp-reals, coq-mathcomp-altreals, coq-mathco… CI #75: Commit 6389306 pushed by proux01
October 29, 2024 14:05 2m 41s analysis-reals
analysis-reals
October 29, 2024 14:05 2m 41s
[extra-dev] Add coq-mathcomp-reals, coq-mathcomp-altreals, coq-mathco… CI #74: Commit dc442b4 pushed by proux01
October 29, 2024 13:26 5m 44s analysis-reals
analysis-reals
October 29, 2024 13:26 5m 44s
Release Coq 8.20 CI #73: Commit 084a746 pushed by proux01
September 6, 2024 11:06 2m 43s 820-release
820-release
September 6, 2024 11:06 2m 43s
Release Coq 8.20 CI #72: Commit 33e77f2 pushed by proux01
September 6, 2024 08:15 3m 2s 820-release
820-release
September 6, 2024 08:15 3m 2s
Release Coq 8.20 CI #71: Commit ce3dcce pushed by proux01
September 6, 2024 08:06 2m 38s 820-release
820-release
September 6, 2024 08:06 2m 38s
Release Coq 8.20 CI #70: Commit 4629e13 pushed by proux01
September 6, 2024 07:33 2m 51s 820-release
820-release
September 6, 2024 07:33 2m 51s
Release Coq 8.20 CI #69: Commit 96b72ad pushed by proux01
September 4, 2024 11:57 2m 45s 820-release
820-release
September 4, 2024 11:57 2m 45s
Release Coq 8.20 CI #68: Commit 296a07f pushed by proux01
September 4, 2024 11:51 5m 44s 820-release
820-release
September 4, 2024 11:51 5m 44s
real-closed 1.1.4 compiles with Coq 8.20 CI #67: Commit 0c196ee pushed by proux01
June 29, 2024 13:28 5m 42s realclosed820
realclosed820
June 29, 2024 13:28 5m 42s
reglang 1.1.3 compiles with Coq 8.20 CI #66: Commit 842e75f pushed by proux01
June 29, 2024 13:02 5m 30s reglang820
reglang820
June 29, 2024 13:02 5m 30s
mathcomp-zify 1.3.0 compiles with Coq 8.20 CI #65: Commit 41b8445 pushed by proux01
June 29, 2024 13:01 5m 56s mczify820
mczify820
June 29, 2024 13:01 5m 56s
finmap 1.5.2 compiles with Coq 8.20 CI #64: Commit 61b717b pushed by proux01
June 29, 2024 12:57 6m 42s finmap820
finmap820
June 29, 2024 12:57 6m 42s
bigenough compiles with Coq 8.20 CI #63: Commit 8fd7f6a pushed by proux01
June 29, 2024 12:55 5m 48s bigenough820
bigenough820
June 29, 2024 12:55 5m 48s
extructures 0.3.1 compiles wth Coq 8.20 CI #62: Commit 2fb11e5 pushed by proux01
June 29, 2024 12:53 6m 1s extructures820
extructures820
June 29, 2024 12:53 6m 1s
deriving 0.1.1 compiles with Coq 8.20 CI #61: Commit 2b42d7f pushed by proux01
June 29, 2024 12:51 7m 24s deriving820
deriving820
June 29, 2024 12:51 7m 24s
zorn-lemma 10.2.0 compiles with Coq 8.20 CI #60: Commit 530154a pushed by proux01
June 29, 2024 10:46 5m 46s zorn820
zorn820
June 29, 2024 10:46 5m 46s
paramcoq 1.1.3+coq8.20 CI #59: Commit 0722c45 pushed by proux01
June 29, 2024 10:43 5m 29s paramcoq820
paramcoq820
June 29, 2024 10:43 5m 29s
paco 4.2.0 compiles with Coq 8.20 CI #58: Commit ff2f831 pushed by proux01
June 29, 2024 10:37 5m 28s paco820
paco820
June 29, 2024 10:37 5m 28s
mathcomp 1.19 compiles wth Coq 8.20 CI #57: Commit 9cc6121 pushed by proux01
June 29, 2024 10:35 5m 43s mc1_820
mc1_820
June 29, 2024 10:35 5m 43s
corn 8.19.0 compiles with Coq 8.20 CI #56: Commit 2d2b8af pushed by proux01
June 29, 2024 10:31 6m 2s corn820
corn820
June 29, 2024 10:31 6m 2s