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

The integral closure of a Dedekind domain in a finite separable extension is finite Awaiting Review #77: Issue comment #202 (comment) created by 4hma4d
November 8, 2024 14:22 2s
November 8, 2024 14:22 2s
The integral closure of a Dedekind domain in a finite separable extension is finite Withdraw PR #77: Issue comment #202 (comment) created by 4hma4d
November 8, 2024 14:22 2s
November 8, 2024 14:22 2s
Proved B is finite .github/workflows/push_pr.yml #370: Pull request #211 opened by 4hma4d
November 8, 2024 14:21 3m 49s 4hma4d:FiniteClosure
4hma4d:FiniteClosure
November 8, 2024 14:21 3m 49s
feat: modular characters .github/workflows/push_pr.yml #369: Pull request #195 synchronize by pitmonticone
November 8, 2024 14:17 4m 3s erdOne:modularCharacter
erdOne:modularCharacter
November 8, 2024 14:17 4m 3s
chore: upgrade deprecated lemmas (#210) .github/workflows/push.yml #441: Commit 08b1958 pushed by pitmonticone
November 8, 2024 14:17 11m 53s main
main
November 8, 2024 14:17 11m 53s
chore: upgrade deprecated lemmas .github/workflows/push_pr.yml #368: Pull request #210 opened by pitmonticone
November 8, 2024 14:12 3m 42s pitmonticone/upgrade-deprecated-lemmas
pitmonticone/upgrade-deprecated-lemmas
November 8, 2024 14:12 3m 42s
feat: modular characters Claim Issue #76: Issue comment #195 (comment) created by pitmonticone
November 8, 2024 14:08 2s
November 8, 2024 14:08 2s
feat: modular characters Awaiting Review #76: Issue comment #195 (comment) created by pitmonticone
November 8, 2024 14:08 3s
November 8, 2024 14:08 3s
feat: modular characters Disclaim Issue #76: Issue comment #195 (comment) created by pitmonticone
November 8, 2024 14:08 3s
November 8, 2024 14:08 3s
feat: modular characters Withdraw PR #76: Issue comment #195 (comment) created by pitmonticone
November 8, 2024 14:08 3s
November 8, 2024 14:08 3s
feat: modular characters Propose PR #76: Issue comment #195 (comment) created by pitmonticone
November 8, 2024 14:08 3s
November 8, 2024 14:08 3s
feat: modular characters .github/workflows/push_pr.yml #367: Pull request #195 synchronize by pitmonticone
November 8, 2024 14:08 4m 5s erdOne:modularCharacter
erdOne:modularCharacter
November 8, 2024 14:08 4m 5s
chore: reorganization of division algebra file(s) (#209) .github/workflows/push.yml #440: Commit ce4a6c7 pushed by kbuzzard
November 8, 2024 14:04 12m 16s main
main
November 8, 2024 14:04 12m 16s
feat: modular characters .github/workflows/push_pr.yml #366: Pull request #195 synchronize by pitmonticone
November 8, 2024 14:00 4m 6s erdOne:modularCharacter
erdOne:modularCharacter
November 8, 2024 14:00 4m 6s
chore: reorganization of division algebra file(s) .github/workflows/push_pr.yml #365: Pull request #209 synchronize by kbuzzard
November 7, 2024 23:04 5m 28s division-algebra
division-algebra
November 7, 2024 23:04 5m 28s
The integral closure of a Dedekind domain in a finite separable extension is finite Withdraw PR #75: Issue comment #202 (comment) created by alreadydone
November 7, 2024 22:16 3s
November 7, 2024 22:16 3s
The integral closure of a Dedekind domain in a finite separable extension is finite Awaiting Review #75: Issue comment #202 (comment) created by alreadydone
November 7, 2024 22:16 3s
November 7, 2024 22:16 3s
The integral closure of a Dedekind domain in a finite separable extension is finite Propose PR #75: Issue comment #202 (comment) created by alreadydone
November 7, 2024 22:16 3s
November 7, 2024 22:16 3s
The integral closure of a Dedekind domain in a finite separable extension is finite Disclaim Issue #75: Issue comment #202 (comment) created by alreadydone
November 7, 2024 22:16 3s
November 7, 2024 22:16 3s
The integral closure of a Dedekind domain in a finite separable extension is finite Claim Issue #75: Issue comment #202 (comment) created by alreadydone
November 7, 2024 22:16 3s
November 7, 2024 22:16 3s
chore: reorganization of division algebra file(s) .github/workflows/push_pr.yml #364: Pull request #209 opened by kbuzzard
November 7, 2024 22:09 1m 17s division-algebra
division-algebra
November 7, 2024 22:09 1m 17s
The integral closure of a Dedekind domain in a finite separable extension is finite Awaiting Review #74: Issue comment #202 (comment) created by 4hma4d
November 7, 2024 21:42 2s
November 7, 2024 21:42 2s
The integral closure of a Dedekind domain in a finite separable extension is finite Withdraw PR #74: Issue comment #202 (comment) created by 4hma4d
November 7, 2024 21:42 2s
November 7, 2024 21:42 2s
The integral closure of a Dedekind domain in a finite separable extension is finite Claim Issue #74: Issue comment #202 (comment) created by 4hma4d
November 7, 2024 21:42 15s
November 7, 2024 21:42 15s
The integral closure of a Dedekind domain in a finite separable extension is finite Propose PR #74: Issue comment #202 (comment) created by 4hma4d
November 7, 2024 21:42 3s
November 7, 2024 21:42 3s
ProTip! You can narrow down the results and go further in time using created:<2024-11-07 or the other filters available.