Skip to content

Actions: leanprover-community/sphere-eversion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
139 workflow runs
139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
chore: rephrase t2Space_iff_of_continuous_surjective_open Compile blueprint #151: Pull request #135 opened by Ruben-VandeVelde
48m 19s Ruben-VandeVelde:t2Space_iff_of_continuous_surjective_open
Ruben-VandeVelde:t2Space_iff_of_continuous_surjective_open
48m 19s
chore: bump to v4.26.0 (#134) Compile blueprint #150: Commit b26ec88 pushed by grunweg
49m 17s master
master
49m 17s
chore: bump to v4.26.0 Compile blueprint #149: Pull request #134 synchronize by Ruben-VandeVelde
16m 15s Ruben-VandeVelde:bump-26
Ruben-VandeVelde:bump-26
16m 15s
chore: enable the flexible linter (#133) Compile blueprint #148: Commit aee8c30 pushed by grunweg
14m 55s master
master
14m 55s
chore: bump to v4.26.0 Compile blueprint #147: Pull request #134 synchronize by Ruben-VandeVelde
17m 5s Ruben-VandeVelde:bump-26
Ruben-VandeVelde:bump-26
17m 5s
chore: enable the flexible linter Compile blueprint #146: Pull request #133 synchronize by Ruben-VandeVelde
15m 18s Ruben-VandeVelde:flexible
Ruben-VandeVelde:flexible
15m 18s
chore: enable the flexible linter Compile blueprint #145: Pull request #133 synchronize by Ruben-VandeVelde
15m 42s Ruben-VandeVelde:flexible
Ruben-VandeVelde:flexible
15m 42s
chore: bump to v4.25.2 (#132) Compile blueprint #144: Commit 4e31ae3 pushed by grunweg
44m 51s master
master
44m 51s
chore: bump to v4.26.0 Compile blueprint #143: Pull request #134 synchronize by Ruben-VandeVelde
48m 27s Ruben-VandeVelde:bump-26
Ruben-VandeVelde:bump-26
48m 27s
chore: bump to v4.26.0 Compile blueprint #142: Pull request #134 opened by Ruben-VandeVelde
8m 13s Ruben-VandeVelde:bump-26
Ruben-VandeVelde:bump-26
8m 13s
chore: enable the flexible linter Compile blueprint #141: Pull request #133 synchronize by Ruben-VandeVelde
43m 11s Ruben-VandeVelde:flexible
Ruben-VandeVelde:flexible
43m 11s
chore: bump to v4.25.2 Compile blueprint #140: Pull request #132 synchronize by Ruben-VandeVelde
44m 19s Ruben-VandeVelde:bump-25-2
Ruben-VandeVelde:bump-25-2
44m 19s
chore: enable the flexible linter Compile blueprint #139: Pull request #133 synchronize by Ruben-VandeVelde
7m 28s Ruben-VandeVelde:flexible
Ruben-VandeVelde:flexible
7m 28s
chore: enable the flexible linter Compile blueprint #138: Pull request #133 opened by Ruben-VandeVelde
7m 42s Ruben-VandeVelde:flexible
Ruben-VandeVelde:flexible
7m 42s