Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
coq-formalv release 1.3.0 CI #1682: Pull request #3325 opened by quimFIB
January 31, 2025 10:55 1m 49s quimFIB:coq-formalv-1.3.0
quimFIB:coq-formalv-1.3.0
January 31, 2025 10:55 1m 49s
Release coq-paco.4.2.3 CI #1681: Pull request #3323 opened by gilhur
January 30, 2025 01:30 2m 26s gilhur:master
gilhur:master
January 30, 2025 01:30 2m 26s
Merge pull request #3322 from mattam82/metacoq-1.3.4-rocq-9.0 CI #1680: Commit f73cede pushed by mattam82
January 29, 2025 18:16 3m 16s master
master
January 29, 2025 18:16 3m 16s
MetaCoq 1.3.4 for Rocq 9.0 CI #1679: Pull request #3322 opened by mattam82
January 29, 2025 17:28 1m 37s mattam82:metacoq-1.3.4-rocq-9.0
mattam82:metacoq-1.3.4-rocq-9.0
January 29, 2025 17:28 1m 37s
rocq-equations.dev package (#3320) CI #1678: Commit 3651b6a pushed by mattam82
January 29, 2025 16:02 3m 0s master
master
January 29, 2025 16:02 3m 0s
rocq-equations.dev package CI #1677: Pull request #3320 synchronize by mattam82
January 29, 2025 13:47 1m 39s mattam82:rocq-equations.dev
mattam82:rocq-equations.dev
January 29, 2025 13:47 1m 39s
rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0 (#3319) CI #1676: Commit 6789159 pushed by mattam82
January 29, 2025 12:31 5m 57s master
master
January 29, 2025 12:31 5m 57s
rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0 CI #1675: Pull request #3319 synchronize by mattam82
January 29, 2025 10:45 1m 50s mattam82:rocq-equations.1.3.1+9.0
mattam82:rocq-equations.1.3.1+9.0
January 29, 2025 10:45 1m 50s
rocq-equations.dev package CI #1674: Pull request #3320 synchronize by mattam82
January 29, 2025 10:43 2m 20s mattam82:rocq-equations.dev
mattam82:rocq-equations.dev
January 29, 2025 10:43 2m 20s
rocq-equations.dev package CI #1673: Pull request #3320 opened by mattam82
January 29, 2025 10:17 1m 52s mattam82:rocq-equations.dev
mattam82:rocq-equations.dev
January 29, 2025 10:17 1m 52s
rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0 CI #1672: Pull request #3319 synchronize by mattam82
January 29, 2025 10:08 1m 40s mattam82:rocq-equations.1.3.1+9.0
mattam82:rocq-equations.1.3.1+9.0
January 29, 2025 10:08 1m 40s
rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0 CI #1671: Pull request #3319 synchronize by mattam82
January 29, 2025 10:00 1m 52s mattam82:rocq-equations.1.3.1+9.0
mattam82:rocq-equations.1.3.1+9.0
January 29, 2025 10:00 1m 52s
rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0 CI #1670: Pull request #3319 synchronize by mattam82
January 29, 2025 09:59 1m 39s mattam82:rocq-equations.1.3.1+9.0
mattam82:rocq-equations.1.3.1+9.0
January 29, 2025 09:59 1m 39s
rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0 CI #1669: Pull request #3319 opened by mattam82
January 29, 2025 09:57 1m 38s mattam82:rocq-equations.1.3.1+9.0
mattam82:rocq-equations.1.3.1+9.0
January 29, 2025 09:57 1m 38s
[coq-rewriter] Bump minimal version to 8.18 CI #1668: Pull request #3318 opened by JasonGross
January 28, 2025 20:07 2m 51s coq-rewriter-dev-bump-version
coq-rewriter-dev-bump-version
January 28, 2025 20:07 2m 51s
[coq-rewriter] Bump minimal version to 8.18 CI #1667: Commit c60b4f2 pushed by JasonGross
January 28, 2025 20:07 1m 38s coq-rewriter-dev-bump-version
coq-rewriter-dev-bump-version
January 28, 2025 20:07 1m 38s