Skip to content

Actions: sinhp/Poly

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
blueprint update .github/workflows/push.yml #138: Commit 0f1a598 pushed by sinhp
2m 24s master
master
2m 24s
Merge pull request #25 from pitmonticone/fix-blueprint .github/workflows/push.yml #137: Commit 4719333 pushed by sinhp
2m 25s master
master
2m 25s
restructring MvPoly .github/workflows/push.yml #136: Commit bedd64c pushed by sinhp
2m 24s master
master
2m 24s
Delete lean_decls .github/workflows/push.yml #135: Commit 0d52576 pushed by sinhp
2m 12s master
master
2m 12s
mvpoly .github/workflows/push.yml #134: Commit 8a51f39 pushed by sinhp
2m 15s master
master
2m 15s
blueprint lccc .github/workflows/push.yml #133: Commit dbede82 pushed by sinhp
2m 26s master
master
2m 26s
Merge pull request #23 from u5943321/comp_iso .github/workflows/push.yml #132: Commit 710d867 pushed by sinhp
2m 19s master
master
2m 19s
fix blueprint decl .github/workflows/push.yml #131: Commit 85589fa pushed by sinhp
2m 25s master
master
2m 25s
adding lean decl for blueprint .github/workflows/push.yml #130: Commit affae28 pushed by sinhp
2m 18s master
master
2m 18s
comp .github/workflows/push.yml #129: Commit 6087a39 pushed by sinhp
2m 9s master
master
2m 9s
temp fix .github/workflows/push.yml #128: Commit cc03cce pushed by sinhp
2m 11s master
master
2m 11s
uvPoly .github/workflows/push.yml #127: Commit 034a3ee pushed by sinhp
2m 11s master
master
2m 11s
rm buspoorfs .github/workflows/push.yml #126: Commit e25974a pushed by sinhp
2m 10s master
master
2m 10s
Create refs.bib .github/workflows/push.yml #125: Commit fc5d30f pushed by sinhp
2m 16s master
master
2m 16s