Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[core-dev] Rename coq-stdlib -> rocq-stdlib CI #1549: Pull request #3275 opened by proux01
December 23, 2024 19:13 1m 41s proux01:rocq-stdlib
proux01:rocq-stdlib
December 23, 2024 19:13 1m 41s
Merge pull request #3274 from palmskog/dep-opam CI #1548: Commit eb1b0eb pushed by palmskog
December 22, 2024 20:45 1m 45s master
master
December 22, 2024 20:45 1m 45s
workaround for what appears to be opam admin check problem CI #1547: Pull request #3274 opened by palmskog
December 22, 2024 20:38 1m 45s palmskog:dep-opam
palmskog:dep-opam
December 22, 2024 20:38 1m 45s
Merge pull request #3273 from palmskog/pcm-hb-1.8-dev CI #1546: Commit 105ef1f pushed by palmskog
December 22, 2024 19:47 1m 49s master
master
December 22, 2024 19:47 1m 49s
coq-fcsl-pcm.dev depends on coq-hierarchy-builder CI #1545: Pull request #3273 opened by palmskog
December 22, 2024 18:45 6m 39s palmskog:pcm-hb-1.8-dev
palmskog:pcm-hb-1.8-dev
December 22, 2024 18:45 6m 39s
Merge pull request #3272 from palmskog/pcm-hb-1.8 CI #1544: Commit 593a060 pushed by palmskog
December 22, 2024 18:44 5m 16s master
master
December 22, 2024 18:44 5m 16s
coq-fcsl-pcm.2.0.0 doesn't support coq-hierarchy-builder.1.8.0 CI #1543: Pull request #3272 synchronize by palmskog
December 22, 2024 18:25 4m 56s palmskog:pcm-hb-1.8
palmskog:pcm-hb-1.8
December 22, 2024 18:25 4m 56s
coq-fcsl-pcm.2.0.0 doesn't support coq-hierarchy-builder.1.8.0 CI #1542: Pull request #3272 opened by palmskog
December 22, 2024 17:58 24s palmskog:pcm-hb-1.8
palmskog:pcm-hb-1.8
December 22, 2024 17:58 24s
Merge pull request #3271 from proux01/coq-stdlib_dev CI #1541: Commit 1b0f530 pushed by proux01
December 21, 2024 12:18 21s master
master
December 21, 2024 12:18 21s
[core-dev] Update coq-stdlib following https://github.com/coq/coq/pull/19952 CI #1540: Pull request #3271 synchronize by proux01
December 21, 2024 11:15 22s proux01:coq-stdlib_dev
proux01:coq-stdlib_dev
December 21, 2024 11:15 22s
Coq dev/rc packages: remove outdated restriction to dune < 3.14 CI #1539: Pull request #3228 synchronize by MSoegtropIMC
December 20, 2024 17:39 25s MSoegtropIMC:coq-dev-dune
MSoegtropIMC:coq-dev-dune
December 20, 2024 17:39 25s
[core-dev] Update coq-stdlib following https://github.com/coq/coq/pull/19952 CI #1538: Pull request #3271 opened by proux01
December 20, 2024 17:38 20s proux01:coq-stdlib_dev
proux01:coq-stdlib_dev
December 20, 2024 17:38 20s
Coq dev/rc packages: remove outdated restriction to dune < 3.14 CI #1537: Pull request #3228 synchronize by MSoegtropIMC
December 20, 2024 17:31 19s MSoegtropIMC:coq-dev-dune
MSoegtropIMC:coq-dev-dune
December 20, 2024 17:31 19s
Coq dev/rc packages: remove outdated restriction to dune < 3.14 CI #1536: Pull request #3228 synchronize by MSoegtropIMC
December 20, 2024 17:23 19s MSoegtropIMC:coq-dev-dune
MSoegtropIMC:coq-dev-dune
December 20, 2024 17:23 19s
Merge pull request #3270 from Matafou/libhyps-3.0.1 CI #1535: Commit fd1e5ec pushed by palmskog
December 19, 2024 18:34 2m 54s master
master
December 19, 2024 18:34 2m 54s
Merge pull request #3269 from affeldt-aist/infotheo.0.7.7 CI #1534: Commit f81f45d pushed by palmskog
December 19, 2024 18:29 3m 2s master
master
December 19, 2024 18:29 3m 2s
Merge pull request #3268 from thery/coqprime CI #1533: Commit 6be6aa3 pushed by palmskog
December 19, 2024 16:45 3m 12s master
master
December 19, 2024 16:45 3m 12s
Merge pull request #3264 from affeldt-aist/infotheo.0.7.6 CI #1532: Commit 60aef35 pushed by palmskog
December 19, 2024 16:21 2m 53s master
master
December 19, 2024 16:21 2m 53s
coq-libhyps 3.01 for 8.20 and all versions. CI #1531: Pull request #3270 opened by Matafou
December 19, 2024 14:58 2m 36s Matafou:libhyps-3.0.1
Matafou:libhyps-3.0.1
December 19, 2024 14:58 2m 36s
release infotheo 0.7.7 CI #1530: Pull request #3269 opened by affeldt-aist
December 19, 2024 14:47 2m 37s affeldt-aist:infotheo.0.7.7
affeldt-aist:infotheo.0.7.7
December 19, 2024 14:47 2m 37s
coq-coqprime for coq 8.20 CI #1529: Pull request #3268 opened by thery
December 19, 2024 14:38 2m 55s thery:coqprime
thery:coqprime
December 19, 2024 14:38 2m 55s
release infotheo 0.7.6 CI #1528: Pull request #3264 synchronize by affeldt-aist
December 19, 2024 14:07 2m 36s affeldt-aist:infotheo.0.7.6
affeldt-aist:infotheo.0.7.6
December 19, 2024 14:07 2m 36s
coq-plouffe for 8.20 (#3265) CI #1527: Commit 1962dec pushed by palmskog
December 19, 2024 13:37 2m 48s master
master
December 19, 2024 13:37 2m 48s
Merge pull request #3266 from SkySkimmer/rocq-runtime CI #1526: Commit b195ee6 pushed by SkySkimmer
December 19, 2024 12:30 3m 20s master
master
December 19, 2024 12:30 3m 20s
coq-plouffe for 8.20 CI #1525: Pull request #3265 synchronize by palmskog
December 19, 2024 12:27 2m 33s thery:plouffe
thery:plouffe
December 19, 2024 12:27 2m 33s