Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

Disclaim Issue

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
02-disclaim-issue.yml
253 workflow runs
253 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Issue #259: A_K/K is compact if A_Q/Q is compact Disclaim Issue #253: Issue comment #310 (comment) created by smmercuri
January 20, 2025 12:44 5s
January 20, 2025 12:44 5s
Issue #259: A_K/K is compact if A_Q/Q is compact Disclaim Issue #252: Issue comment #310 (comment) created by kbuzzard
January 18, 2025 18:21 3s
January 18, 2025 18:21 3s
Bump to v4.16.0 rc2 Disclaim Issue #251: Issue comment #313 (comment) created by kbuzzard
January 18, 2025 15:24 2s
January 18, 2025 15:24 2s
chore: bump to v4.16.0-rc2 Disclaim Issue #250: Issue comment #311 (comment) created by kbuzzard
January 18, 2025 15:23 2s
January 18, 2025 15:23 2s
chore: bump to v4.16.0-rc2 Disclaim Issue #249: Issue comment #311 (comment) created by kim-em
January 18, 2025 05:23 3s
January 18, 2025 05:23 3s
Commented-out and missing \lean declarations in Haar character project Disclaim Issue #248: Issue comment #301 (comment) created by kbuzzard
January 10, 2025 16:38 3s
January 10, 2025 16:38 3s
[TEST] Disclaim Issue #247: Issue comment #309 (comment) created by kbuzzard
January 6, 2025 20:35 2s
January 6, 2025 20:35 2s
[TEST] Disclaim Issue #246: Issue comment #309 (comment) created by kbuzzard
January 6, 2025 20:33 2s
January 6, 2025 20:33 2s
[TEST] Disclaim Issue #245: Issue comment #309 (comment) created by kbuzzard
January 6, 2025 20:32 2s
January 6, 2025 20:32 2s
[TEST] Disclaim Issue #244: Issue comment #309 (comment) created by pitmonticone
January 6, 2025 20:30 2s
January 6, 2025 20:30 2s
[TEST] Disclaim Issue #243: Issue comment #309 (comment) created by kbuzzard
January 6, 2025 20:29 2s
January 6, 2025 20:29 2s
[TEST] Disclaim Issue #242: Issue comment #309 (comment) created by pitmonticone
January 6, 2025 20:11 2s
January 6, 2025 20:11 2s
[TEST] Disclaim Issue #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 Disclaim Issue #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. Disclaim Issue #239: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 19:29 3s
January 6, 2025 19:29 3s
(Integers of Q) ~-> Z -> Q triangle commutes Disclaim Issue #238: 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 Disclaim Issue #237: Issue comment #307 (comment) created by kbuzzard
January 6, 2025 19:29 2s
January 6, 2025 19:29 2s
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. Disclaim Issue #235: Issue comment #254 (comment) created by kbuzzard
January 6, 2025 08:50 2s
January 6, 2025 08:50 2s
Revert "Updates available and ready to merge" Disclaim Issue #234: Issue comment #304 (comment) created by kbuzzard
January 5, 2025 17:13 1s
January 5, 2025 17:13 1s
checkdecls needs to be reenabled when lean4#6325 is merged Disclaim Issue #233: Issue comment #287 (comment) created by kbuzzard
December 30, 2024 20:29 2s
December 30, 2024 20:29 2s
Bump mathlib Disclaim Issue #232: Issue comment #292 (comment) created by kbuzzard
December 25, 2024 11:32 2s
December 25, 2024 11:32 2s
Bump mathlib Disclaim Issue #231: Issue comment #292 (comment) created by kbuzzard
December 24, 2024 23:12 3s
December 24, 2024 23:12 3s
feat(RepresentationTheory): Adds Subrepresentations Disclaim Issue #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 Disclaim Issue #229: Issue comment #288 (comment) created by kbuzzard
December 19, 2024 20:24 2s
December 19, 2024 20:24 2s