Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,307 workflow runs
2,307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

(Integers of Q) ~-> Z -> Q triangle commutes Claim Issue #237: Issue comment #307 (comment) created by kbuzzard
January 6, 2025 19:29 12s
January 6, 2025 19:29 12s
(Integers of Q) ~-> Z -> Q triangle commutes Disclaim Issue #237: Issue comment #307 (comment) created by kbuzzard
January 6, 2025 19:29 2s
January 6, 2025 19:29 2s
(Integers of Q) ~-> Z -> Q triangle commutes Awaiting Review #237: Issue comment #307 (comment) created by kbuzzard
January 6, 2025 19:29 3s
January 6, 2025 19:29 3s
(Integers of Q) ~-> Z -> Q triangle commutes Withdraw PR #237: Issue comment #307 (comment) created by kbuzzard
January 6, 2025 19:29 2s
January 6, 2025 19:29 2s
feat: progress towards Rat.AdeleRing.zero_discrete Compile blueprint #146: Pull request #308 opened by kbuzzard
January 6, 2025 19:28 9m 21s adele-Q-discrete
adele-Q-discrete
January 6, 2025 19:28 9m 21s
Merge branch 'main' of github.com:ImperialCollegeLondon/FLT into main Compile blueprint #145: Commit 844227a pushed by kbuzzard
January 6, 2025 15:49 10m 5s main
main
January 6, 2025 15:49 10m 5s
chore: bump toolchain/Mathlib to v4.15.0 (#305) Create Release #15: Commit 5a6f000 pushed by pitmonticone
January 6, 2025 14:27 15s main
main
January 6, 2025 14:27 15s
chore: bump toolchain/Mathlib to v4.15.0 (#305) Compile blueprint #144: Commit 5a6f000 pushed by pitmonticone
January 6, 2025 14:27 51m 19s main
main
January 6, 2025 14:27 51m 19s
A rational which is a p-adic integer for all p is an integer. Propose PR #236: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 11:45 3s
January 6, 2025 11:45 3s
A rational which is a p-adic integer for all p is an integer. Claim Issue #236: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 11:45 14s
January 6, 2025 11:45 14s
A rational which is a p-adic integer for all p is an integer. Disclaim Issue #236: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 11:45 3s
January 6, 2025 11:45 3s
A rational which is a p-adic integer for all p is an integer. Awaiting Review #236: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 11:45 3s
January 6, 2025 11:45 3s
A rational which is a p-adic integer for all p is an integer. Withdraw PR #236: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 11:45 3s
January 6, 2025 11:45 3s
A rational which is a p-adic integer for all p is an integer. Claim Issue #235: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 08:50 2s
January 6, 2025 08:50 2s
A rational which is a p-adic integer for all p is an integer. Disclaim Issue #235: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 08:50 2s
January 6, 2025 08:50 2s
A rational which is a p-adic integer for all p is an integer. Withdraw PR #235: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 08:50 2s
January 6, 2025 08:50 2s
A rational which is a p-adic integer for all p is an integer. Propose PR #235: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 08:50 3s
January 6, 2025 08:50 3s
A rational which is a p-adic integer for all p is an integer. Awaiting Review #235: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 08:50 2s
January 6, 2025 08:50 2s
chore: bump toolchain/Mathlib to v4.16.0-rc1 Compile blueprint #143: Pull request #306 synchronize by kim-em
January 6, 2025 06:59 4h 8m 14s kim-em:bump_to_v4.16.0-rc1
kim-em:bump_to_v4.16.0-rc1
January 6, 2025 06:59 4h 8m 14s
chore: bump toolchain/Mathlib to v4.15.0 Compile blueprint #142: Pull request #305 synchronize by kim-em
January 6, 2025 06:56 50m 18s kim-em:bump_to_v4.15.0
kim-em:bump_to_v4.15.0
January 6, 2025 06:56 50m 18s
chore: bump toolchain/Mathlib to v4.16.0-rc1 Compile blueprint #141: Pull request #306 opened by kim-em
January 6, 2025 06:51 8m 17s kim-em:bump_to_v4.16.0-rc1
kim-em:bump_to_v4.16.0-rc1
January 6, 2025 06:51 8m 17s
chore: bump toolchain/Mathlib to v4.15.0 Compile blueprint #140: Pull request #305 opened by kim-em
January 6, 2025 06:47 3m 38s kim-em:bump_to_v4.15.0
kim-em:bump_to_v4.15.0
January 6, 2025 06:47 3m 38s
Revert "[create-pull-request] automated change (#303)" (#304) Create Release #14: Commit d7c4ef5 pushed by kbuzzard
January 5, 2025 17:13 10s main
main
January 5, 2025 17:13 10s
Revert "[create-pull-request] automated change (#303)" (#304) Compile blueprint #139: Commit d7c4ef5 pushed by kbuzzard
January 5, 2025 17:13 9m 57s main
main
January 5, 2025 17:13 9m 57s
Revert "Updates available and ready to merge" Claim Issue #234: Issue comment #304 (comment) created by kbuzzard
January 5, 2025 17:13 2s
January 5, 2025 17:13 2s