Skip to content

Actions: sinhp/Poly

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 .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 .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 .github/workflows/push_pr.yml #61: Pull request #31 synchronize by Vtec234
2m 1s cartesian-nt
cartesian-nt
2m 1s
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
feat: bump to v4.22.0-rc3 .github/workflows/push_pr.yml #57: Pull request #30 synchronize by Vtec234
2m 0s Vtec234:bump/v4.22.0-rc3
Vtec234:bump/v4.22.0-rc3
2m 0s
feat: bump to v4.22.0-rc3 .github/workflows/push_pr.yml #56: Pull request #30 opened by Vtec234
2m 3s Vtec234:bump/v4.22.0-rc3
Vtec234:bump/v4.22.0-rc3
2m 3s
feat: bump to v4.22.0-rc2 .github/workflows/push_pr.yml #55: Pull request #29 synchronize by Vtec234
9m 30s Vtec234:bump/v4.22.0-rc2
Vtec234:bump/v4.22.0-rc2
9m 30s
feat: bump to v4.22.0-rc2 .github/workflows/push_pr.yml #54: Pull request #29 opened by Vtec234
2m 4s Vtec234:bump/v4.22.0-rc2
Vtec234:bump/v4.22.0-rc2
2m 4s
feat: bump to v4.21.0-rc3 .github/workflows/push_pr.yml #53: Pull request #28 opened by Vtec234
2m 19s Vtec234:bump/v4.21.0-rc3
Vtec234:bump/v4.21.0-rc3
2m 19s
fix blueprint/build .github/workflows/push_pr.yml #52: Pull request #26 synchronize by mkaratarakis
4m 9s mkaratarakis:master
mkaratarakis:master
4m 9s
Update push_pr.yml .github/workflows/push_pr.yml #51: Pull request #27 opened by mkaratarakis
2m 34s mkaratarakis:patch-1
mkaratarakis:patch-1
2m 34s
fix blueprint/build .github/workflows/push_pr.yml #50: Pull request #26 opened by mkaratarakis
2m 27s mkaratarakis:master
mkaratarakis:master
2m 27s
blueprint test .github/workflows/push_pr.yml #49: Pull request #24 synchronize by mkaratarakis
3m 52s mkaratarakis:master
mkaratarakis:master
3m 52s
blueprint test .github/workflows/push_pr.yml #48: Pull request #24 synchronize by mkaratarakis
2m 22s mkaratarakis:master
mkaratarakis:master
2m 22s
blueprint test .github/workflows/push_pr.yml #47: Pull request #24 synchronize by mkaratarakis
3m 31s mkaratarakis:master
mkaratarakis:master
3m 31s
fix blueprint .github/workflows/push_pr.yml #46: Pull request #25 opened by pitmonticone
2m 24s pitmonticone:fix-blueprint
pitmonticone:fix-blueprint
2m 24s
blueprint test .github/workflows/push_pr.yml #45: Pull request #24 synchronize by mkaratarakis
2m 25s mkaratarakis:master
mkaratarakis:master
2m 25s
blueprint test .github/workflows/push_pr.yml #44: Pull request #24 opened by mkaratarakis
2m 35s mkaratarakis:master
mkaratarakis:master
2m 35s
Profunctor naturality .github/workflows/push_pr.yml #42: Pull request #22 synchronize by Vtec234
2m 5s Vtec234:profunctor-naturality
Vtec234:profunctor-naturality
2m 5s
Profunctor naturality .github/workflows/push_pr.yml #41: Pull request #22 synchronize by Vtec234
2m 10s Vtec234:profunctor-naturality
Vtec234:profunctor-naturality
2m 10s