Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

Withdraw PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
04-withdraw-pr.yml
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Prove continuity of map K_v -> L_w Withdraw PR #115: Issue comment #215 (comment) created by kbuzzard
November 23, 2024 20:11 3s
November 23, 2024 20:11 3s
Definition of scaling of additive Haar measure Withdraw PR #114: Issue comment #222 (comment) created by morrison-daniel
November 21, 2024 20:22 3s
November 21, 2024 20:22 3s
feat: Prove continuity of map K_v -> L_w Withdraw PR #113: Issue comment #215 (comment) created by YaelDillies
November 18, 2024 09:48 4s
November 18, 2024 09:48 4s
Beef up ring homomorphism to an algebra homomorphism task Withdraw PR #112: Issue comment #218 (comment) created by WilliamCoram
November 16, 2024 18:28 2s
November 16, 2024 18:28 2s
Hecke rings Withdraw PR #111: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:16 3s
November 16, 2024 17:16 3s
Hecke rings Withdraw PR #110: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:15 2s
November 16, 2024 17:15 2s
Hecke rings Withdraw PR #109: Issue comment #110 (comment) created by kbuzzard
November 16, 2024 16:42 2s
November 16, 2024 16:42 2s
beef up a ring homomorphism to an algebra homomorphism Withdraw PR #108: Issue comment #205 (comment) created by WilliamCoram
November 15, 2024 14:24 3s
November 15, 2024 14:24 3s
feat: Prove continuity of map K_v -> L_w Withdraw PR #107: Issue comment #215 (comment) created by YaelDillies
November 13, 2024 16:56 4s
November 13, 2024 16:56 4s
feat: Prove continuity of map K_v -> L_w Withdraw PR #106: Issue comment #215 (comment) created by kbuzzard
November 13, 2024 09:05 3s
November 13, 2024 09:05 3s
chore: golf a bit Withdraw PR #105: Issue comment #212 (comment) created by kbuzzard
November 13, 2024 09:03 3s
November 13, 2024 09:03 3s
Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done Withdraw PR #104: Issue comment #216 (comment) created by kbuzzard
November 13, 2024 09:03 3s
November 13, 2024 09:03 3s
The integral closure of a Dedekind domain in a finite separable extension is finite Withdraw PR #103: Issue comment #202 (comment) created by Ruben-VandeVelde
November 12, 2024 22:30 3s
November 12, 2024 22:30 3s
chore: golf a bit Withdraw PR #102: Issue comment #212 (comment) created by pitmonticone
November 12, 2024 22:10 3s
November 12, 2024 22:10 3s
feat: Prove continuity of map K_v -> L_w Withdraw PR #101: Issue comment #215 (comment) created by YaelDillies
November 12, 2024 21:44 3s
November 12, 2024 21:44 3s
feat: Prove continuity of map K_v -> L_w Withdraw PR #100: Issue comment #215 (comment) created by kbuzzard
November 12, 2024 21:41 3s
November 12, 2024 21:41 3s
Proved B is finite Withdraw PR #99: Issue comment #211 (comment) created by kbuzzard
November 12, 2024 21:39 1s
November 12, 2024 21:39 1s
fill in valuation_comap Withdraw PR #98: Issue comment #194 (comment) created by kbuzzard
November 12, 2024 21:33 3s
November 12, 2024 21:33 3s
Definition of the K-algebra map prod_v K_v -> prod_w L_w Withdraw PR #97: Issue comment #206 (comment) created by maddycrim
November 12, 2024 18:31 10s
November 12, 2024 18:31 10s
beef up a ring homomorphism to an algebra homomorphism Withdraw PR #96: Issue comment #205 (comment) created by WilliamCoram
November 12, 2024 13:36 3s
November 12, 2024 13:36 3s
feat: Prove continuity of map K_v -> L_w Withdraw PR #95: Issue comment #215 (comment) created by YaelDillies
November 12, 2024 09:54 3s
November 12, 2024 09:54 3s
Continuity of map of local fields K_v -> L_w coming from number fields Withdraw PR #94: Issue comment #204 (comment) created by YaelDillies
November 12, 2024 09:44 3s
November 12, 2024 09:44 3s
Continuity of map of local fields K_v -> L_w coming from number fields Withdraw PR #93: Issue comment #204 (comment) created by YaelDillies
November 12, 2024 09:42 3s
November 12, 2024 09:42 3s
fill in valuation_comap Withdraw PR #92: Issue comment #194 (comment) created by erdOne
November 11, 2024 17:21 3s
November 11, 2024 17:21 3s
fill in valuation_comap Withdraw PR #91: Issue comment #194 (comment) created by kbuzzard
November 11, 2024 17:14 3s
November 11, 2024 17:14 3s