Skip to content

Actions: coq/opam

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,419 workflow runs
1,419 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3230 from SkySkimmer/gitlab-tags CI #1420: Commit 97d1ade pushed by SkySkimmer
December 3, 2024 16:25 2m 56s master
master
December 3, 2024 16:25 2m 56s
Change CI tags to use Coq's runners in addition to shared runners CI #1419: Pull request #3230 opened by SkySkimmer
December 3, 2024 15:58 2m 35s SkySkimmer:gitlab-tags
SkySkimmer:gitlab-tags
December 3, 2024 15:58 2m 35s
Add mathcomp bound on ssprove packages CI #1418: Pull request #3229 opened by 4ever2
December 3, 2024 15:08 2m 38s 4ever2:ssprove-bounds
4ever2:ssprove-bounds
December 3, 2024 15:08 2m 38s
Coq dev/rc packages: remove outdated restriction to dune < 3.14 CI #1417: Pull request #3228 opened by MSoegtropIMC
December 3, 2024 14:26 2m 38s MSoegtropIMC:coq-dev-dune
MSoegtropIMC:coq-dev-dune
December 3, 2024 14:26 2m 38s
Add opam package for new version coq-unimath.20240923 CI #1416: Pull request #3227 opened by MSoegtropIMC
December 3, 2024 11:16 2m 33s MSoegtropIMC:coq-unimath.20240923
MSoegtropIMC:coq-unimath.20240923
December 3, 2024 11:16 2m 33s
Merge pull request #3226 from arthuraa/deriving-0.2.1 CI #1415: Commit 1de744a pushed by palmskog
December 3, 2024 07:11 2m 49s master
master
December 3, 2024 07:11 2m 49s
Add Deriving 0.2.1. CI #1414: Pull request #3226 opened by arthuraa
December 3, 2024 01:34 2m 34s arthuraa:deriving-0.2.1
arthuraa:deriving-0.2.1
December 3, 2024 01:34 2m 34s
Merge pull request #3225 from arthuraa/deriving-mathcomp-bound CI #1413: Commit ef10083 pushed by palmskog
December 2, 2024 21:52 2m 53s master
master
December 2, 2024 21:52 2m 53s
Add ssreflect bound on deriving 0.2.0 package. CI #1412: Pull request #3225 opened by arthuraa
December 2, 2024 21:34 2m 37s arthuraa:deriving-mathcomp-bound
arthuraa:deriving-mathcomp-bound
December 2, 2024 21:34 2m 37s
Merge pull request #3220 from coq/gares-patch-1 CI #1411: Commit ff337de pushed by palmskog
December 1, 2024 13:08 2m 55s master
master
December 1, 2024 13:08 2m 55s
Merge pull request #3224 from palmskog/coqhammer-pre-8.15 CI #1410: Commit de1760f pushed by palmskog
December 1, 2024 09:00 2m 50s master
master
December 1, 2024 09:00 2m 50s
Merge pull request #3223 from palmskog/fourcolor-2.1.0 CI #1409: Commit 4af8daf pushed by palmskog
December 1, 2024 08:36 2m 49s master
master
December 1, 2024 08:36 2m 49s
fix coq-elpi.dev CI #1408: Pull request #3220 reopened by gares
December 1, 2024 07:53 2m 33s gares-patch-1
gares-patch-1
December 1, 2024 07:53 2m 33s
workaround for 404 issues for CoqHammer 1.3.2 CI #1407: Pull request #3224 opened by palmskog
November 30, 2024 21:44 2m 31s palmskog:coqhammer-pre-8.15
palmskog:coqhammer-pre-8.15
November 30, 2024 21:44 2m 31s
Merge pull request #3222 from palmskog/finmap-zify-2.3.0 CI #1406: Commit 511da2e pushed by palmskog
November 30, 2024 21:14 2m 51s master
master
November 30, 2024 21:14 2m 51s
Merge pull request #3221 from aleksnanevski/master CI #1405: Commit e8ec448 pushed by palmskog
November 30, 2024 15:58 3m 4s master
master
November 30, 2024 15:58 3m 4s
coq-fourcolor.1.4.0 is not compatible with MathComp 2.0.0 CI #1404: Pull request #3223 opened by palmskog
November 30, 2024 11:52 2m 41s palmskog:fourcolor-2.1.0
palmskog:fourcolor-2.1.0
November 30, 2024 11:52 2m 41s
finmap.2.1.0 and zify.1.5.0+2.0+8.16 compat MC 2.3.0, mathcomp-real-closed.2.0.1 not CI #1403: Pull request #3222 synchronize by palmskog
November 30, 2024 09:02 2m 33s palmskog:finmap-zify-2.3.0
palmskog:finmap-zify-2.3.0
November 30, 2024 09:02 2m 33s
finmap.2.1.0 and zify.1.5.0+2.0+8.16 compat MC 2.3.0, mathcomp-real-closed.2.0.1 not CI #1402: Pull request #3222 opened by palmskog
November 30, 2024 07:31 2m 35s palmskog:finmap-zify-2.3.0
palmskog:finmap-zify-2.3.0
November 30, 2024 07:31 2m 35s
Merge pull request #3219 from MackieLoeffel/coq-bbv-8.20 CI #1401: Commit b1deaa9 pushed by palmskog
November 30, 2024 06:07 3m 20s master
master
November 30, 2024 06:07 3m 20s
updating dependences for coq-fcsl-pcm, coq-htt, coq-htt-core, to account for mathcomp 2.3.0 CI #1400: Pull request #3221 opened by aleksnanevski
November 29, 2024 19:24 2m 37s aleksnanevski:master
aleksnanevski:master
November 29, 2024 19:24 2m 37s
Add test for lower bounds on dependencies. CI #1399: Pull request #3218 synchronize by silene
November 29, 2024 16:50 2m 49s silene:lower-bounds
silene:lower-bounds
November 29, 2024 16:50 2m 49s
fix coq-elpi.dev CI #1398: Pull request #3220 opened by gares
November 29, 2024 16:31 2m 32s gares-patch-1
gares-patch-1
November 29, 2024 16:31 2m 32s
fix coq-elpi.dev CI #1397: Commit 69f9d9e pushed by gares
November 29, 2024 16:31 2m 31s gares-patch-1
gares-patch-1
November 29, 2024 16:31 2m 31s
Allow Coq 8.20 for coq-bbv 1.5 CI #1396: Pull request #3219 opened by MackieLoeffel
November 29, 2024 16:16 2m 47s MackieLoeffel:coq-bbv-8.20
MackieLoeffel:coq-bbv-8.20
November 29, 2024 16:16 2m 47s