Skip to content

Actions: HoTT/Coq-HoTT

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add semi-additive categories infrastructure CI #3917: Pull request #2305 synchronize by CharlesCNorton
20m 8s CharlesCNorton:patch-8
CharlesCNorton:patch-8
20m 8s
Add semi-additive categories infrastructure CI #3916: Pull request #2305 synchronize by CharlesCNorton
8m 43s CharlesCNorton:patch-8
CharlesCNorton:patch-8
8m 43s
Add semi-additive categories infrastructure CI #3915: Pull request #2305 synchronize by CharlesCNorton
16m 41s CharlesCNorton:patch-8
CharlesCNorton:patch-8
16m 41s
Add semi-additive categories infrastructure CI #3914: Pull request #2305 synchronize by CharlesCNorton
19m 46s CharlesCNorton:patch-8
CharlesCNorton:patch-8
19m 46s
Add semi-additive categories infrastructure CI #3913: Pull request #2305 synchronize by CharlesCNorton
9m 33s CharlesCNorton:patch-8
CharlesCNorton:patch-8
9m 33s
Add semi-additive categories infrastructure CI #3912: Pull request #2305 synchronize by CharlesCNorton
6m 2s CharlesCNorton:patch-8
CharlesCNorton:patch-8
6m 2s
Add semi-additive categories infrastructure CI #3911: Pull request #2305 synchronize by CharlesCNorton
2m 55s CharlesCNorton:patch-8
CharlesCNorton:patch-8
2m 55s
Add semi-additive categories infrastructure CI #3910: Pull request #2305 synchronize by CharlesCNorton
9m 29s CharlesCNorton:patch-8
CharlesCNorton:patch-8
9m 29s
Add stable category theory formalization CI #3909: Pull request #2288 synchronize by CharlesCNorton
4m 31s CharlesCNorton:patch-3
CharlesCNorton:patch-3
4m 31s
pages build and deployment pages-build-deployment #432: by github-pages bot
43s gh-pages
gh-pages
43s
Merge pull request #2332 from tabareau/sortpoly-equality CI #3908: Commit 1dee026 pushed by jdchristensen
20m 3s master
master
20m 3s
Adapt with respect to rocq-prover/rocq#21371 CI #3907: Pull request #2332 synchronize by jdchristensen
19m 45s tabareau:sortpoly-equality
tabareau:sortpoly-equality
19m 45s
Adapt with respect to rocq-prover/rocq#21371 CI #3906: Pull request #2332 synchronize by tabareau
24m 33s tabareau:sortpoly-equality
tabareau:sortpoly-equality
24m 33s
Adapt with respect to rocq-prover/rocq#21371 CI #3905: Pull request #2332 synchronize by tabareau
19m 37s tabareau:sortpoly-equality
tabareau:sortpoly-equality
19m 37s
Adapt with respect to rocq-prover/rocq#21371 CI #3904: Pull request #2332 opened by tabareau
7m 4s tabareau:sortpoly-equality
tabareau:sortpoly-equality
7m 4s
Merge pull request #2331 from tabareau/sortpoly-equality CI #3903: Commit 28c8d19 pushed by SkySkimmer
4m 22s master
master
4m 22s
Adapt with respect to rocq-prover/rocq#21098 CI #3902: Pull request #2331 opened by tabareau
4m 29s tabareau:sortpoly-equality
tabareau:sortpoly-equality
4m 29s
pages build and deployment pages-build-deployment #431: by github-pages bot
56s gh-pages
gh-pages
56s
Merge pull request #2329 from jdchristensen/setoidrewrite-cleanup CI #3901: Commit 42b956c pushed by jdchristensen
20m 10s master
master
20m 10s
SetoidRewrite: various cleanups and simplifications CI #3900: Pull request #2329 synchronize by jdchristensen
19m 46s jdchristensen:setoidrewrite-cleanup
jdchristensen:setoidrewrite-cleanup
19m 46s
Add additive categories infrastructure CI #3899: Pull request #2304 synchronize by CharlesCNorton
20m 20s CharlesCNorton:patch-7
CharlesCNorton:patch-7
20m 20s
Add semi-additive categories infrastructure CI #3898: Pull request #2305 synchronize by CharlesCNorton
20m 5s CharlesCNorton:patch-8
CharlesCNorton:patch-8
20m 5s
pages build and deployment pages-build-deployment #430: by github-pages bot
1m 38s gh-pages
gh-pages
1m 38s
Merge pull request #2328 from marcbezem/interchange CI #3897: Commit 5a9af86 pushed by jdchristensen
20m 34s master
master
20m 34s
An interchange law for squares and cleanups to Cubical/PathSquare.v CI #3896: Pull request #2328 synchronize by jdchristensen
19m 25s marcbezem:interchange
marcbezem:interchange
19m 25s