Skip to content

Actions: leanprover-community/sphere-eversion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 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
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
chore: bump mathlib (#137) Compile blueprint #160: Commit a2bd122 pushed by grunweg
6h 5m 4s master
master
6h 5m 4s
chore: bump mathlib Compile blueprint #159: Pull request #137 synchronize by grunweg
47m 21s bump
bump
47m 21s
chore: bump mathlib Compile blueprint #158: Pull request #137 synchronize by grunweg
7m 48s bump
bump
7m 48s
chore: bump mathlib Compile blueprint #157: Pull request #137 synchronize by grunweg
7m 27s bump
bump
7m 27s
chore: bump mathlib Compile blueprint #156: Pull request #137 opened by grunweg
3m 54s bump
bump
3m 54s
chore: bump to v4.27.0-rc1 (#136) Compile blueprint #155: Commit 2c32227 pushed by grunweg
51m 0s master
master
51m 0s
chore: bump to v4.27.0-rc1 Compile blueprint #154: Pull request #136 opened by pitmonticone
46m 58s pitmonticone:bump_v4.27.0-rc1
pitmonticone:bump_v4.27.0-rc1
46m 58s
chore: rephrase t2Space_iff_of_continuous_surjective_open (#135) Compile blueprint #153: Commit ac77732 pushed by grunweg
16m 25s master
master
16m 25s
chore: rephrase t2Space_iff_of_continuous_surjective_open Compile blueprint #152: Pull request #135 synchronize by Ruben-VandeVelde
16m 2s Ruben-VandeVelde:t2Space_iff_of_continuous_surjective_open
Ruben-VandeVelde:t2Space_iff_of_continuous_surjective_open
16m 2s