Skip to content

Actions: rocq-community/math-classes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to rocq-prover/rocq#21129. (#140) Docker CI #87: Commit 257619f pushed by ppedrot
3m 31s master
master
3m 31s
Adapt to rocq-prover/rocq#21129. Docker CI #86: Pull request #140 opened by ppedrot
3m 19s ppedrot:intuition-stop-using-auto-with-star
ppedrot:intuition-stop-using-auto-with-star
3m 19s
Remove useless ... (#137) Docker CI #85: Commit e2b94c3 pushed by SkySkimmer
4m 14s master
master
4m 14s
Remove useless ... Docker CI #84: Pull request #137 opened by SkySkimmer
17m 16s SkySkimmer:rm-dots
SkySkimmer:rm-dots
17m 16s
Update CI for latest templates and test more modern Coq/Rocq versions… Docker CI #83: Commit 40de430 pushed by Lysxia
3m 24s master
master
3m 24s
Update CI for latest templates and test more modern Coq/Rocq versions. Docker CI #82: Pull request #136 synchronize by Zimmi48
6m 46s update-ci
update-ci
6m 46s
Update CI for latest templates and test more modern Coq/Rocq versions. Docker CI #81: Pull request #136 opened by Zimmi48
6m 28s update-ci
update-ci
6m 28s
Merge pull request #134 from andres-erbsen/Zmodulo-instead-of-Zmod Docker CI #80: Commit a2920bf pushed by spitters
3m 32s master
master
3m 32s
Replace deprecated alias Zmod with Z.modulo Docker CI #79: Pull request #134 reopened by SkySkimmer
3m 35s andres-erbsen:Zmodulo-instead-of-Zmod
andres-erbsen:Zmodulo-instead-of-Zmod
3m 35s
Merge pull request #135 from rocq-community/SkySkimmer-patch-1 Docker CI #78: Commit f0b263a pushed by SkySkimmer
3m 43s master
master
3m 43s
Update docker-action.yml Docker CI #77: Pull request #135 opened by SkySkimmer
3m 41s SkySkimmer-patch-1
SkySkimmer-patch-1
3m 41s
Replace deprecated alias Zmod with Z.modulo Docker CI #76: Pull request #134 opened by andres-erbsen
15s andres-erbsen:Zmodulo-instead-of-Zmod
andres-erbsen:Zmodulo-instead-of-Zmod
15s
Merge pull request #132 from andres-erbsen/less-ZArith_base Docker CI #75: Commit 9db3142 pushed by spitters
3m 19s master
master
3m 19s
fully qualify unimported ZArith lemmas (for coq/coq#19801) Docker CI #74: Pull request #132 opened by andres-erbsen
4m 3s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
4m 3s
Merge pull request #131 from coq-community/stdlib_repo Docker CI #73: Commit 5faa2f7 pushed by Lysxia
3m 28s master
master
3m 28s
Adapt to https://github.com/coq/coq/pull/19530 Docker CI #72: Pull request #131 opened by proux01
3m 28s stdlib_repo
stdlib_repo
3m 28s