Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

Propose PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
03-propose-pr.yml
247 workflow runs
247 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[TEST] Propose PR #247: Issue comment #309 (comment) created by kbuzzard
January 6, 2025 20:35 2s
January 6, 2025 20:35 2s
[TEST] Propose PR #246: Issue comment #309 (comment) created by kbuzzard
January 6, 2025 20:33 2s
January 6, 2025 20:33 2s
[TEST] Propose PR #245: Issue comment #309 (comment) created by kbuzzard
January 6, 2025 20:32 2s
January 6, 2025 20:32 2s
[TEST] Propose PR #244: Issue comment #309 (comment) created by pitmonticone
January 6, 2025 20:30 2s
January 6, 2025 20:30 2s
[TEST] Propose PR #243: Issue comment #309 (comment) created by kbuzzard
January 6, 2025 20:29 2s
January 6, 2025 20:29 2s
[TEST] Propose PR #242: Issue comment #309 (comment) created by pitmonticone
January 6, 2025 20:11 2s
January 6, 2025 20:11 2s
[TEST] Propose PR #241: Issue comment #309 (comment) created by pitmonticone
January 6, 2025 19:55 3s
January 6, 2025 19:55 3s
feat: progress towards Rat.AdeleRing.zero_discrete Propose PR #240: Issue comment #308 (comment) created by kbuzzard
January 6, 2025 19:51 2s
January 6, 2025 19:51 2s
A rational which is a p-adic integer for all p is an integer. Propose PR #239: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 19:29 11s
January 6, 2025 19:29 11s
(Integers of Q) ~-> Z -> Q triangle commutes Propose PR #238: Issue comment #307 (comment) created by kbuzzard
January 6, 2025 19:29 11s
January 6, 2025 19:29 11s
(Integers of Q) ~-> Z -> Q triangle commutes Propose PR #237: Issue comment #307 (comment) created by kbuzzard
January 6, 2025 19:29 3s
January 6, 2025 19:29 3s
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. Propose PR #235: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 08:50 3s
January 6, 2025 08:50 3s
Revert "Updates available and ready to merge" Propose PR #234: Issue comment #304 (comment) created by kbuzzard
January 5, 2025 17:13 2s
January 5, 2025 17:13 2s
checkdecls needs to be reenabled when lean4#6325 is merged Propose PR #233: Issue comment #287 (comment) created by kbuzzard
December 30, 2024 20:29 2s
December 30, 2024 20:29 2s
Bump mathlib Propose PR #232: Issue comment #292 (comment) created by kbuzzard
December 25, 2024 11:32 2s
December 25, 2024 11:32 2s
Bump mathlib Propose PR #231: Issue comment #292 (comment) created by kbuzzard
December 24, 2024 23:12 3s
December 24, 2024 23:12 3s
feat(RepresentationTheory): Adds Subrepresentations Propose PR #230: Issue comment #286 (comment) created by kbuzzard
December 21, 2024 16:05 3s
December 21, 2024 16:05 3s
Updates available but manual intervention required Propose PR #229: Issue comment #288 (comment) created by kbuzzard
December 19, 2024 20:24 14s
December 19, 2024 20:24 14s
Updates available but manual intervention required Propose PR #228: Issue comment #288 (comment) created by kbuzzard
December 19, 2024 20:12 3s
December 19, 2024 20:12 3s
A rational which is a p-adic integer for all p is an integer. Propose PR #227: Issue comment #254 (comment) created by Ruben-VandeVelde
December 18, 2024 21:24 4s
December 18, 2024 21:24 4s
A rational which is a p-adic integer for all p is an integer. Propose PR #226: Issue comment #254 (comment) created by Ruben-VandeVelde
December 18, 2024 21:22 3s
December 18, 2024 21:22 3s
A rational which is a p-adic integer for all p is an integer. Propose PR #225: Issue comment #254 (comment) created by kbuzzard
December 18, 2024 01:13 3s
December 18, 2024 01:13 3s
Updates available but manual intervention required Propose PR #224: Issue comment #285 (comment) created by kbuzzard
December 17, 2024 23:19 2s
December 17, 2024 23:19 2s
Updates available but manual intervention required Propose PR #223: Issue comment #285 (comment) created by kbuzzard
December 17, 2024 22:56 3s
December 17, 2024 22:56 3s