Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3256 from palmskog/add-real-closed-2.0.2 CI #1499: Commit 6256cf2 pushed by CohenCyril
December 14, 2024 19:19 3m 1s master
master
December 14, 2024 19:19 3m 1s
Merge pull request #3255 from palmskog/fix-multinomials-2.3 CI #1498: Commit da322b8 pushed by palmskog
December 14, 2024 18:49 2m 53s master
master
December 14, 2024 18:49 2m 53s
add coq-mathcomp-real-closed.2.0.2 CI #1497: Pull request #3256 opened by palmskog
December 14, 2024 18:46 2m 40s palmskog:add-real-closed-2.0.2
palmskog:add-real-closed-2.0.2
December 14, 2024 18:46 2m 40s
fix build of coq-mathcomp-multinomials.2.3.0 CI #1496: Pull request #3255 opened by palmskog
December 14, 2024 18:28 2m 40s palmskog:fix-multinomials-2.3
palmskog:fix-multinomials-2.3
December 14, 2024 18:28 2m 40s
Merge pull request #3250 from CohenCyril/multinomials-2.3.0 CI #1495: Commit d567199 pushed by palmskog
December 14, 2024 18:12 3m 12s master
master
December 14, 2024 18:12 3m 12s
Merge pull request #3254 from coqelpibot/opam-publish-coq-hierarchy-b… CI #1494: Commit 319e1aa pushed by gares
December 14, 2024 07:13 2m 51s master
master
December 14, 2024 07:13 2m 51s
Package coq-hierarchy-builder.1.8.0 CI #1493: Pull request #3254 opened by coqelpibot
December 14, 2024 00:13 2m 32s coqelpibot:opam-publish-coq-hierarchy-builder.1.8.0
coqelpibot:opam-publish-coq-hierarchy-builder.1.8.0
December 14, 2024 00:13 2m 32s
Merge pull request #3253 from proux01/stdlib_install_take3 CI #1492: Commit f91818b pushed by proux01
December 13, 2024 20:30 3m 25s master
master
December 13, 2024 20:30 3m 25s
[core-dev] coq-stdlib install, take 3 CI #1491: Pull request #3253 opened by proux01
December 13, 2024 20:16 2m 50s proux01:stdlib_install_take3
proux01:stdlib_install_take3
December 13, 2024 20:16 2m 50s
Merge pull request #3252 from proux01/stdlib_install_take2 CI #1490: Commit 2915aa6 pushed by proux01
December 13, 2024 18:33 2m 50s master
master
December 13, 2024 18:33 2m 50s
[core-dev] coq-stdlib install, take 2 CI #1489: Pull request #3252 synchronize by proux01
December 13, 2024 17:43 2m 37s proux01:stdlib_install_take2
proux01:stdlib_install_take2
December 13, 2024 17:43 2m 37s
[core-dev] coq-stdlib install, take 2 CI #1488: Pull request #3252 synchronize by proux01
December 13, 2024 16:22 2m 32s proux01:stdlib_install_take2
proux01:stdlib_install_take2
December 13, 2024 16:22 2m 32s
[core-dev] coq-stdlib install, take 2 CI #1487: Pull request #3252 opened by proux01
December 13, 2024 16:11 2m 35s proux01:stdlib_install_take2
proux01:stdlib_install_take2
December 13, 2024 16:11 2m 35s
Merge pull request #3251 from CohenCyril/cad CI #1486: Commit f5817fd pushed by CohenCyril
December 12, 2024 14:29 3m 10s master
master
December 12, 2024 14:29 3m 10s
coq-mathcomp-cad: init at 1.1 CI #1485: Pull request #3251 opened by CohenCyril
December 12, 2024 13:17 2m 40s CohenCyril:cad
CohenCyril:cad
December 12, 2024 13:17 2m 40s
Update multinomials 2.3.0 CI #1484: Pull request #3250 opened by CohenCyril
December 12, 2024 12:50 2m 52s CohenCyril:multinomials-2.3.0
CohenCyril:multinomials-2.3.0
December 12, 2024 12:50 2m 52s
Merge pull request #3249 from liyishuai/patch-1 CI #1483: Commit 9053a1c pushed by palmskog
December 10, 2024 17:36 3m 10s master
master
December 10, 2024 17:36 3m 10s
Merge pull request #3248 from arthuraa/extructures-0.5.0 CI #1482: Commit b4605c1 pushed by palmskog
December 10, 2024 16:14 3m 8s master
master
December 10, 2024 16:14 3m 8s
QuickChick dev remove Dune upper bound CI #1481: Pull request #3249 opened by liyishuai
December 10, 2024 03:46 2m 43s liyishuai:patch-1
liyishuai:patch-1
December 10, 2024 03:46 2m 43s
Release Extructures 0.5.0. CI #1480: Pull request #3248 synchronize by palmskog
December 9, 2024 20:15 2m 41s arthuraa:extructures-0.5.0
arthuraa:extructures-0.5.0
December 9, 2024 20:15 2m 41s
Release Extructures 0.5.0. CI #1479: Pull request #3248 opened by arthuraa
December 9, 2024 18:21 2m 47s arthuraa:extructures-0.5.0
arthuraa:extructures-0.5.0
December 9, 2024 18:21 2m 47s
Merge pull request #3227 from MSoegtropIMC/coq-unimath.20240923 CI #1478: Commit bec5f59 pushed by palmskog
December 9, 2024 17:57 3m 14s master
master
December 9, 2024 17:57 3m 14s
Add dependency to coq-elpi in coq-corn.dev CI #1477: Pull request #3247 synchronize by MSoegtropIMC
December 9, 2024 15:20 2m 46s MSoegtropIMC:corn-elpi-dev
MSoegtropIMC:corn-elpi-dev
December 9, 2024 15:20 2m 46s
Add opam package for new version coq-unimath.20240923 CI #1476: Pull request #3227 synchronize by MSoegtropIMC
December 9, 2024 12:21 2m 52s MSoegtropIMC:coq-unimath.20240923
MSoegtropIMC:coq-unimath.20240923
December 9, 2024 12:21 2m 52s
Add dependency to coq-elpi in coq-corn.dev CI #1475: Pull request #3247 opened by MSoegtropIMC
December 9, 2024 09:13 2m 39s MSoegtropIMC:corn-elpi-dev
MSoegtropIMC:corn-elpi-dev
December 9, 2024 09:13 2m 39s