Skip to content

Actions: sinhp/Poly

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: bump to v4.25.0-rc2 (#35) .github/workflows/push.yml #147: Commit aedee22 pushed by Vtec234
2m 33s master
master
2m 33s
feat: bump to v4.25.0-rc2 (#35) Compile blueprint #27: Commit aedee22 pushed by Vtec234
20m 46s master
master
20m 46s
feat: bump to v4.25.0-rc2 .github/workflows/push_pr.yml #66: Pull request #35 opened by Vtec234
2m 42s bump/v4.25.0-rc2
bump/v4.25.0-rc2
2m 42s
Merge pull request #34 from sinhp/dubuc Compile blueprint #26: Commit 0e7edc2 pushed by sinhp
18m 12s master
master
18m 12s
Merge pull request #34 from sinhp/dubuc .github/workflows/push.yml #146: Commit 0e7edc2 pushed by sinhp
2m 4s master
master
2m 4s
feat: exponentiable maps are pullback-stable; comp is exponentiable .github/workflows/push_pr.yml #65: Pull request #34 opened by digama0
1m 57s dubuc
dubuc
1m 57s
chore: update to 4.23.0-rc2 (#33) Compile blueprint #25: Commit a02b469 pushed by digama0
18m 32s master
master
18m 32s
chore: update to 4.23.0-rc2 (#33) .github/workflows/push.yml #145: Commit a02b469 pushed by digama0
2m 4s master
master
2m 4s
chore: update to 4.23.0-rc2 .github/workflows/push_pr.yml #64: Pull request #33 opened by digama0
1m 53s bump_4_23_0_rc2
bump_4_23_0_rc2
1m 53s
fix: clean up some sorries in PartialProd (#32) .github/workflows/push.yml #144: Commit fc376c3 pushed by Vtec234
2m 24s master
master
2m 24s
fix: clean up some sorries in PartialProd (#32) Compile blueprint #24: Commit fc376c3 pushed by Vtec234
13m 37s master
master
13m 37s
fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #63: Pull request #32 synchronize by digama0
2m 13s partialProd_sorry
partialProd_sorry
2m 13s
fix: clean up some sorries in PartialProd .github/workflows/push_pr.yml #62: Pull request #32 opened by digama0
1m 39s partialProd_sorry
partialProd_sorry
1m 39s
Cartesian natural transformation (#31) .github/workflows/push.yml #143: Commit b9c5c13 pushed by Vtec234
2m 10s master
master
2m 10s
Cartesian natural transformation (#31) Compile blueprint #23: Commit b9c5c13 pushed by Vtec234
15m 0s master
master
15m 0s
Cartesian natural transformation .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234
2m 1s cartesian-nt
cartesian-nt
2m 1s
chore: golf Compile blueprint #22: Commit b9532aa pushed by Vtec234
13m 3s master
master
13m 3s
chore: golf .github/workflows/push.yml #142: Commit b9532aa pushed by Vtec234
2m 1s master
master
2m 1s
preservesConnectedLimitsOfShape_of_hasLimitsOfShape Compile blueprint #21: Commit 73a7aff pushed by sinhp
17m 18s master
master
17m 18s
preservesConnectedLimitsOfShape_of_hasLimitsOfShape .github/workflows/push.yml #141: Commit 73a7aff pushed by sinhp
2m 4s master
master
2m 4s
Cartesian natural transformation .github/workflows/push_pr.yml #60: Pull request #31 synchronize by Vtec234
2m 6s cartesian-nt
cartesian-nt
2m 6s
Cartesian natural transformation .github/workflows/push_pr.yml #59: Pull request #31 synchronize by Vtec234
2m 9s cartesian-nt
cartesian-nt
2m 9s
Cartesian natural transformation .github/workflows/push_pr.yml #58: Pull request #31 opened by Vtec234
2m 4s cartesian-nt
cartesian-nt
2m 4s
fix: CI blueprint build .github/workflows/push.yml #140: Commit ac204d4 pushed by Vtec234
2m 6s master
master
2m 6s
fix: CI blueprint build Compile blueprint #20: Commit ac204d4 pushed by Vtec234
17m 5s master
master
17m 5s