Skip to content

Actions: leanprover-community/sphere-eversion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump mathlib
Compile blueprint #185: Pull request #145 synchronize by grunweg
6m 56s bumpabit
chore: bump mathlib
Compile blueprint #184: Pull request #145 synchronize by grunweg
37m 10s bumpabit
chore: bump mathlib
Compile blueprint #183: Pull request #145 opened by grunweg
39m 2s bumpabit
chore: bump to mathlib 4.31.0 (#143)
Compile blueprint #181: Commit b6615d7 pushed by grunweg
43m 25s master
chore: bump to mathlib 4.31.0
Compile blueprint #179: Pull request #143 synchronize by grunweg
46m 23s bump-431
chore: bump to mathlib 4.31.0
Compile blueprint #178: Pull request #143 opened by grunweg
4m 47s bump-431
feat: bump to 4.30 (#141)
Compile blueprint #176: Commit 48aaad4 pushed by fpvandoorn
49m 22s master
feat: bump to 4.30
Compile blueprint #174: Pull request #141 synchronize by grunweg
48m 46s bump-429
feat: bump to 4.30
Compile blueprint #173: Pull request #141 synchronize by grunweg
48m 38s bump-429
feat: bump to 4.30
Compile blueprint #172: Pull request #141 synchronize by grunweg
50m 16s bump-429
feat: bump to 4.30
Compile blueprint #171: Pull request #141 synchronize by grunweg
46m 56s bump-429
feat: bump to 4.30
Compile blueprint #170: Pull request #141 synchronize by grunweg
16m 34s bump-429
feat: bump to 4.30
Compile blueprint #169: Pull request #141 synchronize by grunweg
8m 13s bump-429
feat: bump to 4.30
Compile blueprint #167: Pull request #141 opened by grunweg
9m 57s bump-429
chore: bump to v4.28.0 (#140)
Compile blueprint #166: Commit 5b63797 pushed by grunweg
50m 25s master
chore: bump to v4.27.0 (#139)
Compile blueprint #164: Commit 5ebc398 pushed by grunweg
47m 44s master
chore: missed changes from mathlib bump (#138)
Compile blueprint #162: Commit 8767032 pushed by grunweg
1h 33m 8s master