Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

Propose PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
03-propose-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 Propose 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 Propose PR #114: Issue comment #222 (comment) created by morrison-daniel
November 21, 2024 20:22 2s
November 21, 2024 20:22 2s
feat: Prove continuity of map K_v -> L_w Propose 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 Propose PR #112: Issue comment #218 (comment) created by WilliamCoram
November 16, 2024 18:28 2s
November 16, 2024 18:28 2s
Hecke rings Propose PR #111: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:16 3s
November 16, 2024 17:16 3s
Hecke rings Propose PR #110: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:15 3s
November 16, 2024 17:15 3s
Hecke rings Propose 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 Propose PR #108: Issue comment #205 (comment) created by WilliamCoram
November 15, 2024 14:24 15s
November 15, 2024 14:24 15s
feat: Prove continuity of map K_v -> L_w Propose PR #107: Issue comment #215 (comment) created by YaelDillies
November 13, 2024 16:56 2s
November 13, 2024 16:56 2s
feat: Prove continuity of map K_v -> L_w Propose 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 Propose 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 Propose 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 Propose 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 Propose 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 Propose 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 Propose 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 Propose PR #99: Issue comment #211 (comment) created by kbuzzard
November 12, 2024 21:39 2s
November 12, 2024 21:39 2s
fill in valuation_comap Propose PR #98: Issue comment #194 (comment) created by kbuzzard
November 12, 2024 21:33 4s
November 12, 2024 21:33 4s
Definition of the K-algebra map prod_v K_v -> prod_w L_w Propose 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 Propose 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 Propose 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 Propose PR #94: Issue comment #204 (comment) created by YaelDillies
November 12, 2024 09:44 15s
November 12, 2024 09:44 15s
Continuity of map of local fields K_v -> L_w coming from number fields Propose 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 Propose 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 Propose PR #91: Issue comment #194 (comment) created by kbuzzard
November 11, 2024 17:14 3s
November 11, 2024 17:14 3s