Skip to content

Actions: dagurtomas/LeanCondensed

Actions

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
49 workflow runs
49 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
. .github/workflows/push.yml #85: Commit c4460ab pushed by dagurtomas
2m 43s master
master
2m 43s
closed under limits .github/workflows/push.yml #84: Commit ce4db45 pushed by dagurtomas
2m 56s master
master
2m 56s
wip .github/workflows/push.yml #83: Commit aad80da pushed by dagurtomas
2m 36s master
master
2m 36s
Merge pull request #10 from dagurtomas/bump-3001 .github/workflows/push.yml #82: Commit f3108d5 pushed by dagurtomas
2m 29s master
master
2m 29s
wip .github/workflows/push.yml #81: Commit c47c81a pushed by dagurtomas
2m 21s master
master
2m 21s
wip monoidal structure on Solid .github/workflows/push.yml #80: Commit f1218ef pushed by dagurtomas
2m 28s master
master
2m 28s
. .github/workflows/push.yml #79: Commit bbdaf1e pushed by dagurtomas
2m 21s master
master
2m 21s
right approach to solidification (temporary build failure while waiti… .github/workflows/push.yml #78: Commit 15022c1 pushed by dagurtomas
2m 11s master
master
2m 11s
Merge pull request #9 from dagurtomas/bump-28-01 .github/workflows/push.yml #77: Commit 5f8a31b pushed by dagurtomas
2m 24s master
master
2m 24s
Merge pull request #8 from jonasvanderschaaf/master .github/workflows/push.yml #76: Commit 5ab3947 pushed by dagurtomas
2m 21s master
master
2m 21s
golf .github/workflows/push.yml #75: Commit de8a2f6 pushed by dagurtomas
2m 22s master
master
2m 22s
golf .github/workflows/push.yml #74: Commit 0249c3b pushed by dagurtomas
2m 16s master
master
2m 16s
golf .github/workflows/push.yml #73: Commit 088445d pushed by dagurtomas
2m 23s master
master
2m 23s
. .github/workflows/push.yml #72: Commit b00fbb8 pushed by dagurtomas
2m 3s master
master
2m 3s
cleanup .github/workflows/push.yml #71: Commit c7567af pushed by dagurtomas
2m 16s master
master
2m 16s
simplify explicit coproducts .github/workflows/push.yml #70: Commit 1fd7e46 pushed by dagurtomas
2m 16s master
master
2m 16s
mk_all .github/workflows/push.yml #69: Commit 12a3315 pushed by dagurtomas
2m 20s master
master
2m 20s
golf .github/workflows/push.yml #68: Commit 82a425f pushed by dagurtomas
2m 19s master
master
2m 19s
golf .github/workflows/push.yml #67: Commit 5eb1ad3 pushed by dagurtomas
3m 12s master
master
3m 12s
remove use of tensorHom .github/workflows/push.yml #66: Commit 83b61d8 pushed by dagurtomas
4h 26m 34s master
master
4h 26m 34s
Merge remote-tracking branch 'origin' .github/workflows/push.yml #65: Commit 9a515c1 pushed by dagurtomas
29s master
master
29s
Merge pull request #7 from dagurtomas/bump-mathlib-05-12 .github/workflows/push.yml #64: Commit d26a6c9 pushed by dagurtomas
2m 18s master
master
2m 18s
Merge pull request #6 from jonasvanderschaaf/yoneda .github/workflows/push.yml #63: Commit f3ed6df pushed by dagurtomas
3m 0s master
master
3m 0s
more cleanup .github/workflows/push.yml #62: Commit 0009982 pushed by dagurtomas
4m 50s master
master
4m 50s
deduplicate explicit pullbacks .github/workflows/push.yml #61: Commit 5c9a1fb pushed by dagurtomas
2m 57s master
master
2m 57s