Skip to content

Actions: dagurtomas/LeanCondensed

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
bump mathlib .github/workflows/push_pr.yml #31: Pull request #10 opened by dagurtomas
2m 30s bump-3001
bump-3001
2m 30s
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
bump mathlib .github/workflows/push_pr.yml #30: Pull request #9 opened by dagurtomas
2m 16s bump-28-01
bump-28-01
2m 16s
Merge pull request #8 from jonasvanderschaaf/master .github/workflows/push.yml #76: Commit 5ab3947 pushed by dagurtomas
2m 21s master
master
2m 21s
Add comments to Proj.lean .github/workflows/push_pr.yml #29: Pull request #8 opened by jonasvanderschaaf
2m 19s jonasvanderschaaf:master
jonasvanderschaaf:master
2m 19s
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
bump mathlib .github/workflows/push_pr.yml #28: Pull request #7 opened by dagurtomas
2m 22s bump-mathlib-05-12
bump-mathlib-05-12
2m 22s