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
chore: bump mathlib (#137)
Compile blueprint #160: Commit a2bd122 pushed by grunweg
6h 5m 4s master
chore: bump mathlib
Compile blueprint #159: Pull request #137 synchronize by grunweg
47m 21s bump
chore: bump mathlib
Compile blueprint #158: Pull request #137 synchronize by grunweg
7m 48s bump
chore: bump mathlib
Compile blueprint #157: Pull request #137 synchronize by grunweg
7m 27s bump
chore: bump mathlib
Compile blueprint #156: Pull request #137 opened by grunweg
3m 54s bump
chore: bump to v4.27.0-rc1 (#136)
Compile blueprint #155: Commit 2c32227 pushed by grunweg
51m 0s master
chore: bump to v4.26.0 (#134)
Compile blueprint #150: Commit b26ec88 pushed by grunweg
49m 17s master
chore: enable the flexible linter (#133)
Compile blueprint #148: Commit aee8c30 pushed by grunweg
14m 55s master
chore: bump to v4.25.2 (#132)
Compile blueprint #144: Commit 4e31ae3 pushed by grunweg
44m 51s master