Skip to content
Commit Verification

[Merged by Bors] - feat(RingTheory/Spectrum): upgrade toPiLocalization to an AlgEquiv #27397

Sign in to view logs

[Merged by Bors] - feat(RingTheory/Spectrum): upgrade toPiLocalization to an AlgEquiv

[Merged by Bors] - feat(RingTheory/Spectrum): upgrade toPiLocalization to an AlgEquiv #27397

Triggered via pull request April 14, 2026 09:17
@tb65536tb65536
opened #38031
tb65536:tb_art48
Status Success
Total duration 38s
Artifacts 1

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
35s
Verify Transient and Automated Commits
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
workflow-data Expired
1.05 KB
sha256:b12003ac0d63da902c5b04282a860ba8417d66c148ac3ee207bfee56fbbd2294