Skip to content

Actions: sinhp/Poly

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
12 workflow runs
12 workflow runs

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 Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234
4m 54s master
master
4m 54s
doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp
22m 3s master
master
22m 3s
bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp
3m 51s master
master
3m 51s
feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234
20m 46s master
master
20m 46s
Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp
18m 12s master
master
18m 12s
chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0
18m 32s master
master
18m 32s
fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234
13m 37s master
master
13m 37s
Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234
15m 0s master
master
15m 0s
chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234
13m 3s master
master
13m 3s
preservesConnectedLimitsOfShape_of_hasLimitsOfShape Compile blueprint #21: Commit 73a7aff pushed by sinhp
17m 18s master
master
17m 18s
fix: CI blueprint build Compile blueprint #20: Commit ac204d4 pushed by Vtec234
17m 5s master
master
17m 5s
feat: bump to v4.22.0-rc3 (#30) Compile blueprint #19: Commit 17cb523 pushed by Vtec234
2m 6s master
master
2m 6s