Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,418 workflow runs
1,418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Prove continuity of map K_v -> L_w Disclaim Issue #113: Issue comment #215 (comment) created by YaelDillies
November 18, 2024 09:48 4s
November 18, 2024 09:48 4s
feat: Prove continuity of map K_v -> L_w Awaiting Review #113: Issue comment #215 (comment) created by YaelDillies
November 18, 2024 09:48 4s
November 18, 2024 09:48 4s
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 (#218) Create Release #8: Commit afa70b6 pushed by kbuzzard
November 17, 2024 11:49 1s main
main
November 17, 2024 11:49 1s
Beef up ring homomorphism to an algebra homomorphism task (#218) .github/workflows/push.yml #453: Commit afa70b6 pushed by kbuzzard
November 17, 2024 11:49 11m 35s main
main
November 17, 2024 11:49 11m 35s
feat: Prove continuity of map K_v -> L_w .github/workflows/push_pr.yml #395: Pull request #215 synchronize by YaelDillies
November 17, 2024 11:24 4m 24s javierlcontreras:TCC_11Nov_ContinuityMap
javierlcontreras:TCC_11Nov_ContinuityMap
November 17, 2024 11:24 4m 24s
bump mathlib (#220) Create Release #7: Commit bbee48f pushed by kbuzzard
November 17, 2024 00:56 1s main
main
November 17, 2024 00:56 1s
bump mathlib (#220) .github/workflows/push.yml #452: Commit bbee48f pushed by kbuzzard
November 17, 2024 00:56 46m 59s main
main
November 17, 2024 00:56 46m 59s
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
Beef up ring homomorphism to an algebra homomorphism task Awaiting Review #112: Issue comment #218 (comment) created by WilliamCoram
November 16, 2024 18:28 2s
November 16, 2024 18:28 2s
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
Beef up ring homomorphism to an algebra homomorphism task Disclaim Issue #112: Issue comment #218 (comment) created by WilliamCoram
November 16, 2024 18:28 3s
November 16, 2024 18:28 3s
Beef up ring homomorphism to an algebra homomorphism task Claim Issue #112: Issue comment #218 (comment) created by WilliamCoram
November 16, 2024 18:28 2s
November 16, 2024 18:28 2s
bump mathlib .github/workflows/push_pr.yml #394: Pull request #220 opened by kbuzzard
November 16, 2024 18:26 4m 3s bump
bump
November 16, 2024 18:26 4m 3s
Beef up ring homomorphism to an algebra homomorphism task .github/workflows/push_pr.yml #393: Pull request #218 synchronize by WilliamCoram
November 16, 2024 18:17 4m 2s WilliamCoram:main
WilliamCoram:main
November 16, 2024 18:17 4m 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 Awaiting Review #111: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:16 3s
November 16, 2024 17:16 3s
Hecke rings Claim Issue #111: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:16 3s
November 16, 2024 17:16 3s
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 Disclaim Issue #111: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:16 3s
November 16, 2024 17:16 3s
Hecke rings Claim Issue #110: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:15 3s
November 16, 2024 17:15 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 Disclaim Issue #110: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:15 2s
November 16, 2024 17:15 2s
Hecke rings Awaiting Review #110: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:15 2s
November 16, 2024 17:15 2s
Hecke rings Withdraw PR #110: Issue comment #110 (comment) created by CBirkbeck
November 16, 2024 17:15 2s
November 16, 2024 17:15 2s