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

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: bump mathlib Compile blueprint #185: Pull request #145 synchronize by grunweg
6m 56s bumpabit
bumpabit
6m 56s
chore: bump mathlib Compile blueprint #184: Pull request #145 synchronize by grunweg
37m 10s bumpabit
bumpabit
37m 10s
chore: bump mathlib Compile blueprint #183: Pull request #145 opened by grunweg
39m 2s bumpabit
bumpabit
39m 2s
chore: use new TangentSpace% elaborator Compile blueprint #182: Pull request #144 synchronize by grunweg
44m 17s more-elaborators
more-elaborators
44m 17s
chore: bump to mathlib 4.31.0 (#143) Compile blueprint #181: Commit b6615d7 pushed by grunweg
43m 25s master
master
43m 25s
chore: use new TangentSpace% elaborator Compile blueprint #180: Pull request #144 opened by grunweg
43m 35s more-elaborators
more-elaborators
43m 35s
chore: bump to mathlib 4.31.0 Compile blueprint #179: Pull request #143 synchronize by grunweg
46m 23s bump-431
bump-431
46m 23s
chore: bump to mathlib 4.31.0 Compile blueprint #178: Pull request #143 opened by grunweg
4m 47s bump-431
bump-431
4m 47s
chore: add a comment to the heartbeat increase Compile blueprint #177: Commit 2cbc308 pushed by grunweg
43m 55s master
master
43m 55s
feat: bump to 4.30 (#141) Compile blueprint #176: Commit 48aaad4 pushed by fpvandoorn
49m 22s master
master
49m 22s
chore: use new elaborators more Compile blueprint #175: Pull request #142 opened by grunweg
50m 5s bump-betterelabs
bump-betterelabs
50m 5s
feat: bump to 4.30 Compile blueprint #174: Pull request #141 synchronize by grunweg
48m 46s bump-429
bump-429
48m 46s
feat: bump to 4.30 Compile blueprint #173: Pull request #141 synchronize by grunweg
48m 38s bump-429
bump-429
48m 38s
feat: bump to 4.30 Compile blueprint #172: Pull request #141 synchronize by grunweg
50m 16s bump-429
bump-429
50m 16s
feat: bump to 4.30 Compile blueprint #171: Pull request #141 synchronize by grunweg
46m 56s bump-429
bump-429
46m 56s
feat: bump to 4.30 Compile blueprint #170: Pull request #141 synchronize by grunweg
16m 34s bump-429
bump-429
16m 34s
feat: bump to 4.30 Compile blueprint #169: Pull request #141 synchronize by grunweg
8m 13s bump-429
bump-429
8m 13s
chore: use new elaborators more Compile blueprint #168: Pull request #124 synchronize by grunweg
7m 40s use-elaborators-fully
use-elaborators-fully
7m 40s
feat: bump to 4.30 Compile blueprint #167: Pull request #141 opened by grunweg
9m 57s bump-429
bump-429
9m 57s
chore: bump to v4.28.0 (#140) Compile blueprint #166: Commit 5b63797 pushed by grunweg
50m 25s master
master
50m 25s
chore: bump to v4.28.0 Compile blueprint #165: Pull request #140 opened by Ruben-VandeVelde
50m 43s Ruben-VandeVelde:bump-28
Ruben-VandeVelde:bump-28
50m 43s
chore: bump to v4.27.0 (#139) Compile blueprint #164: Commit 5ebc398 pushed by grunweg
47m 44s master
master
47m 44s
chore: bump to v4.27.0 Compile blueprint #163: Pull request #139 opened by Ruben-VandeVelde
47m 52s Ruben-VandeVelde:bump-27
Ruben-VandeVelde:bump-27
47m 52s
chore: missed changes from mathlib bump (#138) Compile blueprint #162: Commit 8767032 pushed by grunweg
1h 33m 8s master
master
1h 33m 8s
chore: missed changes from mathlib bump Compile blueprint #161: Pull request #138 opened by Ruben-VandeVelde
47m 35s Ruben-VandeVelde:bump-2026-01
Ruben-VandeVelde:bump-2026-01
47m 35s