Skip to content

Actions: chrisflav/pi1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
directed covers Lean Action CI #84: Commit 62169bf pushed by chrisflav
9m 20s master
master
9m 20s
add PR tag Lean Action CI #83: Commit b871e0a pushed by chrisflav
13m 42s master
master
13m 42s
modify workflow Lean Action CI #82: Commit 0362023 pushed by chrisflav
1h 11m 44s master
master
1h 11m 44s
build docs in ci Lean Action CI #81: Commit 8ec26eb pushed by chrisflav
1h 8m 37s master
master
1h 8m 37s
add license Lean Action CI #80: Commit 8b87cbe pushed by chrisflav
3m 15s master
master
3m 15s
update readme Lean Action CI #79: Commit 0093b93 pushed by chrisflav
3m 15s master
master
3m 15s
add nice notation Lean Action CI #78: Commit 2a65476 pushed by chrisflav
11m 23s master
master
11m 23s
complete smooth is flat Lean Action CI #77: Commit 3d44da6 pushed by chrisflav
11m 58s master
master
11m 58s
complete locally standard smooth equiv smooth Lean Action CI #76: Commit b4506ee pushed by chrisflav
10m 55s master
master
10m 55s
add smooth cotangent calculations Lean Action CI #75: Commit 1e97ae9 pushed by chrisflav
2m 10s master
master
2m 10s
cleanup Lean Action CI #74: Commit e753601 pushed by chrisflav
10m 30s master
master
10m 30s
fill affine colimits sorries Lean Action CI #73: Commit 5303fb4 pushed by chrisflav
5m 11s master
master
5m 11s
integrate gluing of colimits Lean Action CI #72: Commit 14ecca8 pushed by chrisflav
7m 43s master
master
7m 43s
reorganize Lean Action CI #71: Commit 6bc58f0 pushed by chrisflav
8m 5s master
master
8m 5s