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
11 workflow runs
11 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
Bump to Lean 4.31.0-rc1 .github/workflows/push_pr.yml #68: Pull request #37 opened by dagurtomas
2m 21s dagurtomas:bump-v4.31.0-rc1
dagurtomas:bump-v4.31.0-rc1
2m 21s
feat: bump to Lean v4.28.0-rc1 .github/workflows/push_pr.yml #67: Pull request #36 opened by Vtec234
3m 20s Vtec234:bump/v4.28.0-rc1
Vtec234:bump/v4.28.0-rc1
3m 20s
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