Skip to content

Actions: ImperialCollegeLondon/FLT

Actions

Withdraw PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
04-withdraw-pr.yml
913 workflow runs
913 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: deduplicate Subfunctor Withdraw PR #1160: Issue comment #868 (comment) created by kbuzzard
1s
1s
chore: remove duplicated MulDistribMulAction instances Withdraw PR #1159: Issue comment #866 (comment) created by kbuzzard
1s
1s
chore: shorten proof of PatchingModule.continuous_ofPi Withdraw PR #1158: Issue comment #865 (comment) created by kbuzzard
2s
2s
chore: remove upstreamed lemma isOpen_maximalIdeal_pow Withdraw PR #1157: Issue comment #864 (comment) created by kbuzzard
1s
1s
chore: bump docgen-action Withdraw PR #1156: Issue comment #860 (comment) created by kbuzzard
1s
1s
refactor: infinite adele ring Withdraw PR #1155: Issue comment #830 (comment) created by kbuzzard
1s
1s
Remove upstreamed stuff Withdraw PR #1154: Issue comment #854 (comment) created by kbuzzard
2s
2s
Changes to tensorPi_equiv_piTensor_apply Withdraw PR #1153: Issue comment #842 (comment) created by kbuzzard
1s
1s
chore: bump to v4.28-0-rc1 Withdraw PR #1152: Issue comment #851 (comment) created by kbuzzard
1s
1s
Odlyzko bounds Withdraw PR #1151: Issue comment #458 (comment) created by tb65536
Skipped
Skipped
Odlyzko bounds Withdraw PR #1150: Issue comment #458 (comment) created by tb65536
1s
1s
chore: bump to v4.27.0 Withdraw PR #1149: Issue comment #845 (comment) created by pitmonticone
1s
1s
chore: bump to v4.27.0 Withdraw PR #1148: Issue comment #845 (comment) created by Ruben-VandeVelde
1s
1s
chore: bump to v4.27.0 Withdraw PR #1147: Issue comment #845 (comment) created by pitmonticone
Skipped
Skipped
chore: bump to v4.27.0 Withdraw PR #1146: Issue comment #845 (comment) created by Ruben-VandeVelde
1s
1s
chore: bump mathlib Withdraw PR #1145: Issue comment #843 (comment) created by Ruben-VandeVelde
1s
1s
chore: bump mathlib Withdraw PR #1144: Issue comment #843 (comment) created by pitmonticone
1s
1s
chore: bump mathlib Withdraw PR #1143: Issue comment #843 (comment) created by pitmonticone
1s
1s
Complete localcomponent_matrix and f_g_local_global Withdraw PR #1142: Issue comment #838 (comment) created by kbuzzard
1s
1s
Complete localcomponent_matrix and f_g_local_global Withdraw PR #1141: Issue comment #838 (comment) created by bwangpj
1s
1s
Complete localcomponent_matrix and f_g_local_global Withdraw PR #1140: Issue comment #840 (comment) created by kbuzzard
2s
2s
Complete localcomponent_matrix and f_g_local_global Withdraw PR #1139: Issue comment #838 (comment) created by kbuzzard
1s
1s
feat(HaarChar/FiniteAdeleRing): Fill in two sorries Withdraw PR #1138: Issue comment #834 (comment) created by kbuzzard
2s
2s
Reduce FiniteAdeleRing.Aux.almost_always_mapsTo to two statements about TensorProduct.localcomponent φ Withdraw PR #1137: Issue comment #837 (comment) created by kbuzzard
1s
1s
chore(workflows): bump docgen-action fixing cache issue Withdraw PR #1136: Issue comment #831 (comment) created by pitmonticone
1s
1s