Skip to content

Actions: dagurtomas/rigid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 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
Construct the universe-controlled affinoid Berkovich point model Claim issue based on comment #18: Issue comment #39 (comment) created by kernelpanic888
5s
5s
progresses toward tate acyc Lean Action CI #116: Pull request #44 synchronize by Yoaskay
5m 46s Yoaskay:tateacyc3
Yoaskay:tateacyc3
5m 46s
progresses toward tate acyc Lean Action CI #115: Pull request #44 opened by Yoaskay
3m 21s Yoaskay:tateacyc3
Yoaskay:tateacyc3
3m 21s
Lean Action CI Lean Action CI #114: by dagurtomas
2m 47s main
main
2m 47s
Define rigid admissible sites and G-ringed spaces Lean Action CI #113: Pull request #42 synchronize by dagurtomas
3m 3s katobungen:rigid_codex_23Jul
katobungen:rigid_codex_23Jul
3m 3s
Lean Action CI Lean Action CI #112: by dagurtomas
4m 51s main
main
4m 51s
Implement the ordinary Berkovich locally ringed core Claim issue based on comment #17: Issue comment #37 (comment) created by dagurtomas
5s
5s
Add the Berkovich locally ringed core Lean Action CI #111: Commit cec20f0 pushed by dagurtomas
3m 1s main
main
3m 1s
Tateacyc2 Lean Action CI #110: Pull request #43 opened by Yoaskay
4m 44s Yoaskay:tateacyc2
Yoaskay:tateacyc2
4m 44s
Tateacyc Lean Action CI #109: Pull request #36 synchronize by dagurtomas
4m 21s Yoaskay:tateacyc
Yoaskay:tateacyc
4m 21s
Define rigid admissible sites and G-ringed spaces Lean Action CI #108: Pull request #42 opened by katobungen
2m 34s katobungen:rigid_codex_23Jul
katobungen:rigid_codex_23Jul
2m 34s
Tateacyc Lean Action CI #107: Pull request #36 synchronize by Yoaskay
4m 33s Yoaskay:tateacyc
Yoaskay:tateacyc
4m 33s
Implement the ordinary Berkovich locally ringed core Claim issue based on comment #16: Issue comment #37 (comment) created by dagurtomas
5s
5s
Draft: prototype global Berkovich-space core Claim issue based on comment #15: Issue comment #34 (comment) created by dagurtomas
10s
10s
Split Berkovich-space specification into layers Lean Action CI #106: Commit d960950 pushed by dagurtomas
3m 9s main
main
3m 9s
Implement the rigid-space admissible-site core Claim issue based on comment #14: Issue comment #22 (comment) created by dagurtomas
6s
6s
Draft: prototype rigid-space admissible core Claim issue based on comment #13: Issue comment #33 (comment) created by dagurtomas
1s
1s
Epic: implement global Berkovich spaces in layers Claim issue based on comment #12: Issue comment #21 (comment) created by dagurtomas
5s
5s
Implement the rigid-space admissible-site core Claim issue based on comment #11: Issue comment #22 (comment) created by dagurtomas
5s
5s
Draft: prototype global Berkovich-space core Lean Action CI #105: Pull request #34 opened by dagurtomas
1m 36s agent/berkovich-space-core
agent/berkovich-space-core
1m 36s
Draft: prototype rigid-space admissible core Lean Action CI #104: Pull request #33 opened by dagurtomas
2m 55s agent/rigid-space-core
agent/rigid-space-core
2m 55s
WIP: prototype global Berkovich-space core Lean Action CI #103: Commit b2a651f pushed by dagurtomas
1m 43s agent/berkovich-space-core
agent/berkovich-space-core
1m 43s
WIP: prototype rigid-space admissible core Lean Action CI #102: Commit 5b58233 pushed by dagurtomas
2m 36s agent/rigid-space-core
agent/rigid-space-core
2m 36s
Implement affinoid rigid space points Claim issue based on comment #10: Issue comment #32 (comment) created by dagurtomas
1s
1s
Implement the rigid-space admissible-site core Claim issue based on comment #9: Issue comment #22 (comment) created by dagurtomas
5s
5s