Skip to content

Actions: sinhp/Poly

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 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
Update README.md .github/workflows/push.yml #115: Commit fb34b24 pushed by sinhp
2m 4s master
master
2m 4s
Update README.md .github/workflows/push.yml #114: Commit a620582 pushed by sinhp
2m 22s master
master
2m 22s
Merge pull request #20 from Vtec234/fan-cat .github/workflows/push.yml #113: Commit 632e623 pushed by sinhp
2m 20s master
master
2m 20s
fan category .github/workflows/push_pr.yml #35: Pull request #20 opened by Vtec234
2m 19s Vtec234:fan-cat
Vtec234:fan-cat
2m 19s
name fix .github/workflows/push.yml #112: Commit fb87036 pushed by sinhp
2m 7s master
master
2m 7s
refactor UvPoly using partialProd .github/workflows/push.yml #111: Commit 3a1b31c pushed by sinhp
2m 9s master
master
2m 9s
fix .github/workflows/push.yml #110: Commit 38ac890 pushed by sinhp
2m 26s master
master
2m 26s
refactor curry .github/workflows/push.yml #109: Commit c51ff04 pushed by sinhp
2m 37s master
master
2m 37s
fix .github/workflows/push.yml #108: Commit c39eafe pushed by sinhp
2m 14s master
master
2m 14s
fix .github/workflows/push.yml #107: Commit 058274a pushed by sinhp
2m 11s master
master
2m 11s
ext lemmas .github/workflows/push.yml #106: Commit 5d128a3 pushed by sinhp
2m 11s master
master
2m 11s
prod and exp are partial prod .github/workflows/push.yml #105: Commit 40f7771 pushed by sinhp
2m 12s master
master
2m 12s
Create PartialProduct.lean .github/workflows/push.yml #104: Commit bf8ac3a pushed by sinhp
2m 15s master
master
2m 15s
Over.mapIsoSquare .github/workflows/push.yml #103: Commit a75cc17 pushed by sinhp
2m 16s master
master
2m 16s
Merge pull request #18 from mkaratarakis/master .github/workflows/push.yml #102: Commit 5ceb0cf pushed by sinhp
2m 26s master
master
2m 26s
refactor --> instances interferring with each other .github/workflows/push_pr.yml #34: Pull request #18 synchronize by mkaratarakis
2m 26s mkaratarakis:master
mkaratarakis:master
2m 26s
refactor --> instances interferring with each other .github/workflows/push_pr.yml #33: Pull request #18 synchronize by mkaratarakis
2m 13s mkaratarakis:master
mkaratarakis:master
2m 13s
the monoidal category of univariate polynomial functors .github/workflows/push.yml #101: Commit a1fd051 pushed by sinhp
2m 16s master
master
2m 16s
Cartesian NatTrans .github/workflows/push.yml #100: Commit 5f5deb1 pushed by sinhp
2m 16s master
master
2m 16s
prune .github/workflows/push.yml #99: Commit 6b910b6 pushed by sinhp
2m 24s master
master
2m 24s
Merge pull request #19 from Vtec234/wdgt .github/workflows/push.yml #98: Commit c539621 pushed by sinhp
2m 17s master
master
2m 17s
pushforwardBeckChevalleySquareIs .github/workflows/push.yml #97: Commit 591c4c2 pushed by sinhp
2m 18s master
master
2m 18s
deprecate .github/workflows/push.yml #96: Commit 9146685 pushed by sinhp
2m 12s master
master
2m 12s
fix typo .github/workflows/push.yml #95: Commit f7b7e89 pushed by sinhp
2m 23s master
master
2m 23s
feat: add widget .github/workflows/push_pr.yml #32: Pull request #19 opened by Vtec234
2m 18s Vtec234:wdgt
Vtec234:wdgt
2m 18s