Skip to content

Actions: leanprover-community/sphere-eversion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 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(CI): disable the check_decl step for now Compile blueprint #216: Pull request #148 synchronize by grunweg
44m 33s disable-checkdecl
disable-checkdecl
44m 33s
chore: update actions/upload-pages-artifact to v5 (#155) Compile blueprint #215: Commit df3e74a pushed by kim-em
6m 4s master
master
6m 4s
chore: update actions/upload-pages-artifact to v5 Compile blueprint #214: Pull request #155 opened by kim-em
6m 50s upload-pages-artifact-v5
upload-pages-artifact-v5
6m 50s
chore: pin GitHub Actions to commit SHAs (#154) Compile blueprint #213: Commit 3cf4785 pushed by kim-em
7m 41s master
master
7m 41s
chore: pin GitHub Actions to commit SHAs Compile blueprint #212: Pull request #154 opened by kim-em
6m 41s pin-actions-to-sha
pin-actions-to-sha
6m 41s
chore: fix some technical debt around pullback bundle instances (#151) Compile blueprint #211: Commit 32d5b1f pushed by grunweg
6m 16s master
master
6m 16s
chore: fix some technical debt around pullback bundle instances Compile blueprint #210: Pull request #151 synchronize by grunweg
6m 25s bump-toolchain-v4.35.0-rc3
bump-toolchain-v4.35.0-rc3
6m 25s
chore: fix some technical debt around pullback bundle instances Compile blueprint #209: Pull request #151 synchronize by grunweg
6m 29s bump-toolchain-v4.35.0-rc3
bump-toolchain-v4.35.0-rc3
6m 29s
feat: bump to 4.35.0-rc3 and corresponding mathlib (#153) Compile blueprint #208: Commit 642460f pushed by grunweg
5m 12s master
master
5m 12s
feat: bump to 4.35.0-rc3 and corresponding mathlib Compile blueprint #207: Pull request #153 opened by grunweg
6m 7s bumpcurrent
bumpcurrent
6m 7s
feat: bump to 4.34.0 and corresponding mathlib (#152) Compile blueprint #206: Commit 9c53f91 pushed by grunweg
7m 41s master
master
7m 41s
feat: bump to 4.34.0 and corresponding mathlib Compile blueprint #205: Pull request #152 opened by grunweg
7m 35s bump-434
bump-434
7m 35s
chore: fix some technical debt around pullback bundle instances Compile blueprint #204: Pull request #151 opened by kim-em
6m 20s bump-toolchain-v4.35.0-rc3
bump-toolchain-v4.35.0-rc3
6m 20s
chore: convert to the module system (#150) Compile blueprint #203: Commit e03dfec pushed by grunweg
7m 39s master
master
7m 39s
chore: convert to the module system Compile blueprint #202: Pull request #150 synchronize by grunweg
7m 18s modulize
modulize
7m 18s
chore: bump to current mathlib (#149) Compile blueprint #201: Commit dd60c3b pushed by grunweg
8m 3s master
master
8m 3s
chore: bump to current mathlib Compile blueprint #200: Pull request #149 synchronize by grunweg
8m 58s bumpcurrent
bumpcurrent
8m 58s
chore: convert to the module system Compile blueprint #199: Pull request #150 synchronize by grunweg
7m 44s modulize
modulize
7m 44s
chore: convert to the module system Compile blueprint #198: Pull request #150 opened by grunweg
7m 9s modulize
modulize
7m 9s
chore: bump to current mathlib Compile blueprint #197: Pull request #149 synchronize by grunweg
6m 58s bumpcurrent
bumpcurrent
6m 58s
chore: bump to current mathlib Compile blueprint #196: Pull request #149 opened by grunweg
7m 47s bumpcurrent
bumpcurrent
7m 47s
chore(CI): disable the check_decl step for now Compile blueprint #195: Pull request #148 opened by grunweg
39m 16s disable-checkdecl
disable-checkdecl
39m 16s
chore: bump to mathlib 4.33 (#147) Compile blueprint #194: Commit b914ed3 pushed by grunweg
7m 13s master
master
7m 13s
chore: bump to mathlib 4.33 Compile blueprint #193: Pull request #147 opened by grunweg
8m 3s bump-433wip
bump-433wip
8m 3s
chore: bump to 4.32 (#146) Compile blueprint #192: Commit 908a6a5 pushed by grunweg
7m 16s master
master
7m 16s