Skip to content

Actions: sinhp/Poly

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
WIP Mathlib bump .github/workflows/push_pr.yml #70: Pull request #38 synchronize by Vtec234
Action required FernandoChu:master
FernandoChu:master
Action required
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
feat: bump to Lean v4.28.0-rc1 (#36) Compile blueprint #30: Commit aee7df5 pushed by Vtec234
4m 54s master
master
4m 54s
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
doc gen update Compile blueprint #29: Commit 914d9b7 pushed by sinhp
22m 3s master
master
22m 3s
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
bump mathlib Compile blueprint #28: Commit 46c58a9 pushed by sinhp
3m 51s master
master
3m 51s
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