Skip to content

Actions: LionSR/TNLean

Actions

PR Cleanup (bot-generated)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-cleanup.yml
2,198 workflow runs
2,198 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
refactor(Channel/TransferMatrix): inline matrix-basis expansion PR Cleanup (bot-generated) #2199: Pull request #3295 opened by LionSR
2m 4s codex/mathlib-native-20260621l
codex/mathlib-native-20260621l
2m 4s
refactor(Channel): inline Kraus Euclidean instances PR Cleanup (bot-generated) #2198: Pull request #3294 opened by LionSR
2m 41s codex/mathlib-native-20260621j
codex/mathlib-native-20260621j
2m 41s
refactor(Spectral): use Mathlib Euclidean norm-square formula PR Cleanup (bot-generated) #2197: Pull request #3292 opened by LionSR
2m 12s codex/mathlib-native-20260621i
codex/mathlib-native-20260621i
2m 12s
refactor(Algebra): use Mathlib trace-zero matrix criterion PR Cleanup (bot-generated) #2196: Pull request #3291 opened by LionSR
4m 7s codex/mathlib-native-20260621h
codex/mathlib-native-20260621h
4m 7s
doc(periodic): name Omega contraction step PR Cleanup (bot-generated) #2195: Pull request #3290 opened by LionSR
2m 50s codex/periodic-omega-contraction-blueprint
codex/periodic-omega-contraction-blueprint
2m 50s
refactor(Channel/Schwarz): route Kraus KS through two-positivity PR Cleanup (bot-generated) #2194: Pull request #3289 opened by LionSR
2m 47s codex/wolf-kadison-2positive-cleanup
codex/wolf-kadison-2positive-cleanup
2m 47s
refactor(Channel/TransferMatrix): use Mathlib matrix-unit expansions PR Cleanup (bot-generated) #2193: Pull request #3288 opened by LionSR
4m 22s codex/native-mathlib-pass-20260621g
codex/native-mathlib-pass-20260621g
4m 22s
doc(periodic): use Appendix A adjoint notation PR Cleanup (bot-generated) #2192: Pull request #3287 opened by LionSR
2m 16s codex/periodic-appendix-unitary-notation
codex/periodic-appendix-unitary-notation
2m 16s
refactor(Semigroup): inline right multiplication hom PR Cleanup (bot-generated) #2191: Pull request #3286 opened by LionSR
2m 16s codex/native-mathlib-pass-20260621f
codex/native-mathlib-pass-20260621f
2m 16s
refactor(Algebra): use PSD trace zero criterion PR Cleanup (bot-generated) #2190: Pull request #3285 opened by LionSR
2m 40s codex/native-mathlib-pass-20260621e
codex/native-mathlib-pass-20260621e
2m 40s
feat(MPS/ParentHamiltonian): derive all-chain NNCPH from Appendix B data PR Cleanup (bot-generated) #2189: Pull request #3284 opened by LionSR
3m 6s codex/parent-nncph-appendixb-ground-spaces
codex/parent-nncph-appendixb-ground-spaces
3m 6s
refactor(Channel/Determinant): remove finite-sum-zero auxiliary lemma PR Cleanup (bot-generated) #2188: Pull request #3283 opened by LionSR
2m 50s codex/native-mathlib-pass-20260621d
codex/native-mathlib-pass-20260621d
2m 50s
doc(periodic): clarify remaining basis independence gap PR Cleanup (bot-generated) #2187: Pull request #3282 opened by LionSR
2m 13s codex/periodic-li-blueprint
codex/periodic-li-blueprint
2m 13s
refactor(algebra): use Fintype sum zero criterion PR Cleanup (bot-generated) #2186: Pull request #3281 opened by LionSR
3m 13s codex/fintype-sum-zero-more-20260621
codex/fintype-sum-zero-more-20260621
3m 13s
doc(MPS/Periodic): use 1708.00029 terminology for periodic bases PR Cleanup (bot-generated) #2185: Pull request #3280 opened by LionSR
2m 18s codex/periodic-1708-terminology
codex/periodic-1708-terminology
2m 18s
doc(parent): align source-facing prose PR Cleanup (bot-generated) #2184: Pull request #3279 opened by LionSR
3m 12s codex/parent-source-prose-cleanup
codex/parent-source-prose-cleanup
3m 12s
refactor(Channel): use general right partial trace theorem PR Cleanup (bot-generated) #2183: Pull request #3278 opened by LionSR
3m 9s codex/trace-right-native-20260621
codex/trace-right-native-20260621
3m 9s
doc(MPS/ParentHamiltonian): align PGVWC boundary-word terminology PR Cleanup (bot-generated) #2182: Pull request #3277 opened by LionSR
3m 5s codex/parent-pgvwc-source-terms-2
codex/parent-pgvwc-source-terms-2
3m 5s
refactor(Channel/Determinant): use Fintype sum zero criterion PR Cleanup (bot-generated) #2181: Pull request #3276 opened by LionSR
2m 26s codex/fintype-sum-nonneg
codex/fintype-sum-nonneg
2m 26s
refactor(Algebra): use native trace zero criterion PR Cleanup (bot-generated) #2180: Pull request #3275 opened by LionSR
2m 51s codex/native-pass-20260621p
codex/native-pass-20260621p
2m 51s
refactor(Algebra): use native Fin.castLE order isomorphism PR Cleanup (bot-generated) #2179: Pull request #3274 opened by LionSR
2m 8s codex/finsum-native-castle
codex/finsum-native-castle
2m 8s
refactor(Channel): use native idempotent complement facts PR Cleanup (bot-generated) #2178: Pull request #3273 opened by LionSR
2m 33s codex/native-pass-20260621n
codex/native-pass-20260621n
2m 33s
doc(periodic): update final overlap route gap PR Cleanup (bot-generated) #2177: Pull request #3272 opened by LionSR
2m 11s codex/periodic-873-source-route
codex/periodic-873-source-route
2m 11s
refactor(MPS/RFP): use native commute algebra for complements PR Cleanup (bot-generated) #2176: Pull request #3271 opened by LionSR
2m 31s codex/native-pass-20260621k
codex/native-pass-20260621k
2m 31s
refactor(Channel): inline fixed-point projection relays PR Cleanup (bot-generated) #2175: Pull request #3270 opened by LionSR
3m 0s codex/mathlib-4-31-native-pass-20260621h
codex/mathlib-4-31-native-pass-20260621h
3m 0s