Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update coq-library-fol for 8.20 CI #1707: Pull request #3334 opened by JoJoDeveloping
February 5, 2025 21:13 1m 41s JoJoDeveloping:master
JoJoDeveloping:master
February 5, 2025 21:13 1m 41s
Merge pull request #3333 from SkySkimmer/fix-stdlib CI #1706: Commit 9477deb pushed by SkySkimmer
February 5, 2025 15:11 2m 13s master
master
February 5, 2025 15:11 2m 13s
Fix rocq-stdlib.dev (forgot to install) CI #1705: Pull request #3333 opened by SkySkimmer
February 5, 2025 14:53 1m 47s SkySkimmer:fix-stdlib
SkySkimmer:fix-stdlib
February 5, 2025 14:53 1m 47s
Merge pull request #3332 from SkySkimmer/stdlib-makefile CI #1704: Commit 1cde0a5 pushed by proux01
February 5, 2025 14:28 2m 49s master
master
February 5, 2025 14:28 2m 49s
Use rocq makefile for stdlib.dev CI #1703: Pull request #3332 synchronize by SkySkimmer
February 5, 2025 13:55 2m 27s SkySkimmer:stdlib-makefile
SkySkimmer:stdlib-makefile
February 5, 2025 13:55 2m 27s
Use rocq makefile for stdlib.dev CI #1702: Pull request #3332 synchronize by SkySkimmer
February 5, 2025 13:54 1m 51s SkySkimmer:stdlib-makefile
SkySkimmer:stdlib-makefile
February 5, 2025 13:54 1m 51s
Use rocq makefile for stdlib.dev CI #1701: Pull request #3332 synchronize by SkySkimmer
February 5, 2025 13:30 1m 39s SkySkimmer:stdlib-makefile
SkySkimmer:stdlib-makefile
February 5, 2025 13:30 1m 39s
Use rocq makefile for stdlib.dev CI #1700: Pull request #3332 opened by SkySkimmer
February 5, 2025 12:59 1m 42s SkySkimmer:stdlib-makefile
SkySkimmer:stdlib-makefile
February 5, 2025 12:59 1m 42s
Merge pull request #3331 from erikmd/coq-bignums-dev CI #1699: Commit 976affd pushed by SkySkimmer
February 4, 2025 22:03 1m 54s master
master
February 4, 2025 22:03 1m 54s
fix: Re-add coq-bignums.dev CI #1698: Pull request #3331 opened by erikmd
February 4, 2025 16:50 1m 51s erikmd:coq-bignums-dev
erikmd:coq-bignums-dev
February 4, 2025 16:50 1m 51s
Merge pull request #3330 from erikmd/patch-1 CI #1697: Commit 6f06ae0 pushed by proux01
February 4, 2025 15:55 2m 2s master
master
February 4, 2025 15:55 2m 2s
Add missing rocq-bignums.dev CI #1696: Pull request #3330 opened by erikmd
February 4, 2025 15:24 1m 49s erikmd:patch-1
erikmd:patch-1
February 4, 2025 15:24 1m 49s
Merge pull request #3329 from proux01/dune-upper-bound-docker CI #1695: Commit 4bd3d2e pushed by proux01
February 4, 2025 13:41 3m 10s master
master
February 4, 2025 13:41 3m 10s
Remove dune upper bound on 9.0+rc1 for the docker image CI #1694: Pull request #3329 opened by proux01
February 4, 2025 13:40 2m 59s proux01:dune-upper-bound-docker
proux01:dune-upper-bound-docker
February 4, 2025 13:40 2m 59s
Merge pull request #3325 from quimFIB/coq-formalv-1.3.0 CI #1693: Commit f4ff5cd pushed by silene
February 4, 2025 10:22 3m 52s master
master
February 4, 2025 10:22 3m 52s
coq-formalv release 1.3.0 CI #1692: Pull request #3325 synchronize by quimFIB
February 4, 2025 09:03 1m 39s quimFIB:coq-formalv-1.3.0
quimFIB:coq-formalv-1.3.0
February 4, 2025 09:03 1m 39s
Merge pull request #3328 from proux01/multinomials-rocq9 CI #1691: Commit 72b2319 pushed by proux01
February 3, 2025 12:09 1m 56s master
master
February 3, 2025 12:09 1m 56s
multinomials.2.3.0 and real-closed.2.0.2 compile with Rocq 9.0+rc1 CI #1690: Pull request #3328 opened by proux01
February 3, 2025 10:15 1m 37s proux01:multinomials-rocq9
proux01:multinomials-rocq9
February 3, 2025 10:15 1m 37s
Merge pull request #3326 from MSoegtropIMC/fix-coq-coqprime-generator… CI #1689: Commit feeb2e3 pushed by palmskog
February 1, 2025 19:06 2m 2s master
master
February 1, 2025 19:06 2m 2s
Relaxed OCaml version restriction in coq-coqprime-generator.1.1.2 from 5.0 to 4.14.2 CI #1688: Pull request #3326 synchronize by MSoegtropIMC
February 1, 2025 13:12 2m 13s MSoegtropIMC:fix-coq-coqprime-generator.1.1.2
MSoegtropIMC:fix-coq-coqprime-generator.1.1.2
February 1, 2025 13:12 2m 13s
Merge pull request #3327 from MSoegtropIMC/add-coq-corn.8.20.0 CI #1687: Commit abd3ca5 pushed by proux01
February 1, 2025 12:15 6m 36s master
master
February 1, 2025 12:15 6m 36s
Merge pull request #3323 from gilhur/master CI #1686: Commit 05c34be pushed by palmskog
January 31, 2025 18:58 2m 1s master
master
January 31, 2025 18:58 2m 1s
Merge pull request #3318 from coq/coq-rewriter-dev-bump-version CI #1685: Commit 62e672e pushed by palmskog
January 31, 2025 17:53 1m 54s master
master
January 31, 2025 17:53 1m 54s
Add new version 8.20.0 for coq-corn CI #1684: Pull request #3327 opened by MSoegtropIMC
January 31, 2025 11:29 2m 35s MSoegtropIMC:add-coq-corn.8.20.0
MSoegtropIMC:add-coq-corn.8.20.0
January 31, 2025 11:29 2m 35s
Relaxed OCaml version restriction in coq-coqprime-generator.1.1.2 from 5.0 to 4.14.2 CI #1683: Pull request #3326 opened by MSoegtropIMC
January 31, 2025 11:04 1m 35s MSoegtropIMC:fix-coq-coqprime-generator.1.1.2
MSoegtropIMC:fix-coq-coqprime-generator.1.1.2
January 31, 2025 11:04 1m 35s