Skip to content

Actions: chrisflav/pi1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 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
bump mathlib (#4) Lean Action CI #109: Commit a754797 pushed by chrisflav
5h 42m 11s master
master
5h 42m 11s
bump mathlib Lean Action CI #108: Pull request #4 synchronize by chrisflav
5h 48m 33s bump
bump
5h 48m 33s
cleanup Lean Action CI #107: Commit 8a7e4f0 pushed by chrisflav
5h 47m 41s bump
bump
5h 47m 41s
bump mathlib Lean Action CI #106: Pull request #4 opened by chrisflav
5h 29m 47s bump
bump
5h 29m 47s
cleanup Lean Action CI #105: Commit d7733bf pushed by chrisflav
5h 39m 8s bump
bump
5h 39m 8s
bump mathlib (#2) Lean Action CI #104: Commit 9dda579 pushed by chrisflav
5h 39m 11s bump
bump
5h 39m 11s
move finite etale to new file Lean Action CI #103: Pull request #3 opened by chrisflav
6h 5m 5s move
move
6h 5m 5s
Merge remote-tracking branch 'origin/master' into move Lean Action CI #102: Commit 7cdc512 pushed by chrisflav
5h 47m 31s move
move
5h 47m 31s
bump Lean Action CI #101: Commit 62e4724 pushed by chrisflav
5h 12m 12s bump-v430
bump-v430
5h 12m 12s
bump mathlib (#2) Lean Action CI #100: Commit 9dda579 pushed by chrisflav
6m 0s master
master
6m 0s
bump mathlib Lean Action CI #99: Pull request #2 synchronize by chrisflav
6m 8s bump-v430
bump-v430
6m 8s
cleanup Lean Action CI #98: Commit 9c4e109 pushed by chrisflav
6m 9s bump-v430
bump-v430
6m 9s
bump mathlib Lean Action CI #97: Pull request #2 opened by chrisflav
6m 7s bump-v430
bump-v430
6m 7s
bump Lean Action CI #96: Commit 77ba78c pushed by chrisflav
6m 2s bump-v430
bump-v430
6m 2s
remove upstreamed code Lean Action CI #95: Commit b78c77d pushed by chrisflav
5h 15m 50s master
master
5h 15m 50s
fix deprecation warnings from Mathlib bump (#1) Lean Action CI #94: Commit fb0bed1 pushed by chrisflav
5h 58m 1s master
master
5h 58m 1s
fix deprecation warnings from Mathlib bump Lean Action CI #93: Pull request #1 opened by chrisflav
5h 54m 58s chrisflav-agents:fix-deprecation-warnings
chrisflav-agents:fix-deprecation-warnings
5h 54m 58s
bump mathlib Lean Action CI #92: Commit bc882de pushed by chrisflav
6h 5m 4s master
master
6h 5m 4s
various cleanups Lean Action CI #91: Commit df81ec5 pushed by chrisflav
1h 28m 44s master
master
1h 28m 44s
remove import Lean Action CI #90: Commit 73f410e pushed by chrisflav
19m 8s master
master
19m 8s
bump mathlib Lean Action CI #89: Commit 829fbee pushed by chrisflav
1h 29m 52s master
master
1h 29m 52s
fix complaint by andrew Lean Action CI #88: Commit cb0271e pushed by chrisflav
1h 23m 17s master
master
1h 23m 17s
start progress on point Lean Action CI #87: Commit 2baade9 pushed by chrisflav
1h 22m 52s master
master
1h 22m 52s
core of presentation api Lean Action CI #86: Commit 2fd40aa pushed by chrisflav
1h 20m 54s master
master
1h 20m 54s
add content for faithfully flat Lean Action CI #85: Commit c629923 pushed by chrisflav
11m 54s master
master
11m 54s