Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,452 workflow runs
1,452 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3234 from palmskog/reglang-mc-2.3.0 CI #1433: Commit 8b5016c pushed by palmskog
December 5, 2024 11:37 2m 54s master
master
December 5, 2024 11:37 2m 54s
coq-reglang.1.2.1 works with MC 2.3.0 CI #1432: Pull request #3234 opened by palmskog
December 5, 2024 10:43 3m 3s palmskog:reglang-mc-2.3.0
palmskog:reglang-mc-2.3.0
December 5, 2024 10:43 3m 3s
CertiCoq dev with Coq 8.19 CI #1431: Pull request #3231 synchronize by liyishuai
December 5, 2024 10:17 2m 41s liyishuai:patch-2
liyishuai:patch-2
December 5, 2024 10:17 2m 41s
CertiCoq dev with Coq 8.19 CI #1430: Pull request #3231 synchronize by SkySkimmer
December 5, 2024 10:03 2m 47s liyishuai:patch-2
liyishuai:patch-2
December 5, 2024 10:03 2m 47s
Merge pull request #3232 from MSoegtropIMC/relax-coq-mathcomp-algebra… CI #1429: Commit 504588c pushed by palmskog
December 5, 2024 05:27 3m 9s master
master
December 5, 2024 05:27 3m 9s
Merge pull request #3229 from 4ever2/ssprove-bounds CI #1428: Commit bc9a283 pushed by palmskog
December 4, 2024 16:51 3m 14s master
master
December 4, 2024 16:51 3m 14s
Merge pull request #3233 from MSoegtropIMC/relax-coq-mathcomp-word.3.2 CI #1427: Commit b4e6be2 pushed by palmskog
December 4, 2024 14:50 3m 25s master
master
December 4, 2024 14:50 3m 25s
Relax version restrictions of coq-mathcomp-word.3.2 CI #1426: Pull request #3233 opened by MSoegtropIMC
December 4, 2024 13:16 2m 36s MSoegtropIMC:relax-coq-mathcomp-word.3.2
MSoegtropIMC:relax-coq-mathcomp-word.3.2
December 4, 2024 13:16 2m 36s
Relax versions restirctions of coq-mathcomp-algebra-tactics.1.2.3 CI #1425: Pull request #3232 opened by MSoegtropIMC
December 4, 2024 13:14 2m 48s MSoegtropIMC:relax-coq-mathcomp-algebra-tactics.1.2.3
MSoegtropIMC:relax-coq-mathcomp-algebra-tactics.1.2.3
December 4, 2024 13:14 2m 48s
Add mathcomp bound on ssprove packages CI #1424: Pull request #3229 synchronize by 4ever2
December 4, 2024 13:11 2m 55s 4ever2:ssprove-bounds
4ever2:ssprove-bounds
December 4, 2024 13:11 2m 55s
coq-simple-io.dev : remove dune upper bound CI #1423: Pull request #3011 synchronize by liyishuai
December 4, 2024 10:27 2m 30s liyishuai:patch-1
liyishuai:patch-1
December 4, 2024 10:27 2m 30s
Fix dependencies of CertiCoq dev CI #1422: Pull request #2928 synchronize by liyishuai
December 4, 2024 10:24 2m 51s liyishuai:certicoq
liyishuai:certicoq
December 4, 2024 10:24 2m 51s
CertiCoq dev with Coq 8.19 CI #1421: Pull request #3231 opened by liyishuai
December 4, 2024 10:23 2m 33s liyishuai:patch-2
liyishuai:patch-2
December 4, 2024 10:23 2m 33s
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