.github/workflows/push.yml · Workflow runs · sinhp/Poly · GitHub

Actions

All workflows
Workflows
- .github/workflows/push.yml .github/workflows/push.yml
- .github/workflows/push_pr.yml .github/workflows/push_pr.yml
- Compile blueprint Compile blueprint
Management
- Caches
- Deployments

.github/workflows/push.yml

Actions

Loading...
Loading

12 workflow runs

12 workflow runs

feat: bump to Lean v4.28.0-rc1 (#36) .github/workflows/push.yml #150: Commit aee7df5 pushed by Vtec234

3m 30s master

master

3m 30s

doc gen update .github/workflows/push.yml #149: Commit 914d9b7 pushed by sinhp

2m 36s master

master

2m 36s

bump mathlib .github/workflows/push.yml #148: Commit 46c58a9 pushed by sinhp

2m 25s master

master

2m 25s

feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234

2m 33s master

master

2m 33s

Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp

2m 4s master

master

2m 4s

chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0

2m 4s master

master

2m 4s

fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234

2m 24s master

master

2m 24s

Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234

2m 10s master

master

2m 10s

chore: golf .github/workflows/push.yml #142: Commit b9532aa pushed by Vtec234

2m 1s master

master

2m 1s

preservesConnectedLimitsOfShape_of_hasLimitsOfShape .github/workflows/push.yml #141: Commit 73a7aff pushed by sinhp

2m 4s master

master

2m 4s

fix: CI blueprint build .github/workflows/push.yml #140: Commit ac204d4 pushed by Vtec234

2m 6s master

master

2m 6s

feat: bump to v4.22.0-rc3 (#30) .github/workflows/push.yml #139: Commit 17cb523 pushed by Vtec234

2m 13s master

master

2m 13s