Skip to content

Actions: Yoaskay/rigid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 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
Prove Tate acyclicity via Cech comparison Lean Action CI #37: Commit bc47367 pushed by Yoaskay
5m 39s tateacyc3
tateacyc3
5m 39s
progresses toward tate acyc Lean Action CI #36: Commit 5b988d7 pushed by Yoaskay
3m 19s tateacyc3
tateacyc3
3m 19s
Merge pull request #42 from katobungen/rigid_codex_23Jul Lean Action CI #35: Commit e5ecd52 pushed by Yoaskay
2m 33s main
main
2m 33s
Merge pull request #36 from Yoaskay/tateacyc Lean Action CI #34: Commit e713054 pushed by Yoaskay
5m 3s main
main
5m 3s
Lean Action CI Lean Action CI #33: by Yoaskay
3m 29s main
main
3m 29s
Polish Tate acyclicity foundations Lean Action CI #32: Commit 634883a pushed by dagurtomas
4m 29s tateacyc
tateacyc
4m 29s
working on tate acyclicity Lean Action CI #31: Commit 181531e pushed by Yoaskay
4m 48s tateacyc2
tateacyc2
4m 48s
Merge dagurtomas/main into tateacyc Lean Action CI #30: Commit 93ba0ae pushed by Yoaskay
4m 48s tateacyc
tateacyc
4m 48s
Split Berkovich-space specification into layers Lean Action CI #29: Commit d960950 pushed by Yoaskay
2m 47s main
main
2m 47s
progresses toward tate acyclicity Lean Action CI #28: Commit 7d358a5 pushed by Yoaskay
1h 48m 41s tateacyc
tateacyc
1h 48m 41s
Reopen rigid-space scaffold targets Lean Action CI #27: Commit 483f94b pushed by Yoaskay
3m 20s main
main
3m 20s
Add Berkovich spectral seminorm foundations Lean Action CI #26: Commit cfb8e79 pushed by Yoaskay
3m 20s main
main
3m 20s
Define affinoid Berkovich spectrum pullback Lean Action CI #25: Commit e40ba24 pushed by Yoaskay
3m 52s main
main
3m 52s
some progresses toward Tate acyclicity Lean Action CI #24: Commit 059ed4f pushed by Yoaskay
1h 41m 26s tateacyc
tateacyc
1h 41m 26s
Derive affinoid Banach continuity consequences Lean Action CI #23: Commit a5dd97a pushed by Yoaskay
1h 45m 17s main
main
1h 45m 17s
Merge pull request #14 from Yoaskay/ratbasis Lean Action CI #22: Commit c427956 pushed by Yoaskay
1h 44m 9s main
main
1h 44m 9s
Merge remote-tracking branch 'origin/main' into fix/pr14-merge Lean Action CI #21: Commit 2b9bfc6 pushed by dagurtomas
1h 49m 41s ratbasis
ratbasis
1h 49m 41s
Merge pull request #12 from jjdishere/codex/residue-topology-eq Lean Action CI #20: Commit 45e8355 pushed by Yoaskay
1h 44m 35s main
main
1h 44m 35s
affinoid algebra assumption is added to some theorems in rational bas… Lean Action CI #19: Commit d5f8de0 pushed by Yoaskay
1h 48m 30s ratbasis
ratbasis
1h 48m 30s
new def removed from Development Lean Action CI #18: Commit 319609f pushed by Yoaskay
1h 47m 55s ratbasis
ratbasis
1h 47m 55s
some progress in rational basis Lean Action CI #17: Commit 7167848 pushed by Yoaskay
1h 46m 36s ratbasis
ratbasis
1h 46m 36s
Merge pull request #13 from Yoaskay/ratloc Lean Action CI #16: Commit 3836163 pushed by Yoaskay
1h 43m 8s main
main
1h 43m 8s
Merge main into ratloc and resolve root imports Lean Action CI #15: Commit c1e203f pushed by dagurtomas
1h 47m 12s ratloc
ratloc
1h 47m 12s
ratloc Lean Action CI #14: Commit 5cfa34e pushed by Yoaskay
1h 45m 14s ratloc
ratloc
1h 45m 14s
Close elementary comparator gaps Lean Action CI #13: Commit 1537ef7 pushed by Yoaskay
1h 47m 21s main
main
1h 47m 21s