Skip to content

Actions: dagurtomas/LeanCondensed

Actions

.github/workflows/push_pr.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_pr.yml
17 workflow runs
17 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 mathlib .github/workflows/push_pr.yml #31: Pull request #10 opened by dagurtomas
2m 30s bump-3001
bump-3001
2m 30s
bump mathlib .github/workflows/push_pr.yml #30: Pull request #9 opened by dagurtomas
2m 16s bump-28-01
bump-28-01
2m 16s
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
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
Clean up PreservesCoprod and make it independent on Condensed.yoneda .github/workflows/push_pr.yml #27: Pull request #6 synchronize by dagurtomas
2m 55s jonasvanderschaaf:yoneda
jonasvanderschaaf:yoneda
2m 55s
Clean up PreservesCoprod and make it independent on Condensed.yoneda .github/workflows/push_pr.yml #26: Pull request #6 synchronize by dagurtomas
3m 20s jonasvanderschaaf:yoneda
jonasvanderschaaf:yoneda
3m 20s
Clean up PreservesCoprod and make it independent on Condensed.yoneda .github/workflows/push_pr.yml #25: Pull request #6 synchronize by dagurtomas
3m 15s jonasvanderschaaf:yoneda
jonasvanderschaaf:yoneda
3m 15s
Clean up PreservesCoprod and make it independent on Condensed.yoneda .github/workflows/push_pr.yml #24: Pull request #6 synchronize by jonasvanderschaaf
2m 30s jonasvanderschaaf:yoneda
jonasvanderschaaf:yoneda
2m 30s
Clean up PreservesCoprod and make it independent on Condensed.yoneda .github/workflows/push_pr.yml #23: Pull request #6 synchronize by jonasvanderschaaf
2m 42s jonasvanderschaaf:yoneda
jonasvanderschaaf:yoneda
2m 42s
Clean up PreservesCoprod and make it independent on Condensed.yoneda .github/workflows/push_pr.yml #22: Pull request #6 synchronize by jonasvanderschaaf
2m 38s jonasvanderschaaf:yoneda
jonasvanderschaaf:yoneda
2m 38s
Clean up PreservesCoprod and make it independent on Condensed.yoneda .github/workflows/push_pr.yml #21: Pull request #6 synchronize by jonasvanderschaaf
2m 45s jonasvanderschaaf:yoneda
jonasvanderschaaf:yoneda
2m 45s
Clean up PreservesCoprod and make it independent on Condensed.yoneda .github/workflows/push_pr.yml #20: Pull request #6 synchronize by jonasvanderschaaf
2m 26s jonasvanderschaaf:yoneda
jonasvanderschaaf:yoneda
2m 26s
Clean up PreservesCoprod and make it independent on Condensed.yoneda .github/workflows/push_pr.yml #19: Pull request #6 opened by jonasvanderschaaf
3m 31s jonasvanderschaaf:yoneda
jonasvanderschaaf:yoneda
3m 31s
Internal projectivity of the sequence space .github/workflows/push_pr.yml #18: Pull request #5 synchronize by dagurtomas
3m 13s dagur/pr_to_pr
dagur/pr_to_pr
3m 13s
Internal projectivity of the sequence space .github/workflows/push_pr.yml #17: Pull request #5 synchronize by dagurtomas
3m 21s dagur/pr_to_pr
dagur/pr_to_pr
3m 21s
Internal projectivity of the sequence space .github/workflows/push_pr.yml #16: Pull request #5 opened by dagurtomas
3m 12s dagur/pr_to_pr
dagur/pr_to_pr
3m 12s
Internal projectivity of the sequence space .github/workflows/push_pr.yml #15: Pull request #4 synchronize by jonasvanderschaaf
51s master
master
51s