Skip to content

chore(QuantumInfo): clear 56 files from the linter exemption list#1244

Open
tracyphasespace wants to merge 1 commit into
leanprover-community:masterfrom
tracyphasespace:cleanup/quantuminfo-exemptions
Open

chore(QuantumInfo): clear 56 files from the linter exemption list#1244
tracyphasespace wants to merge 1 commit into
leanprover-community:masterfrom
tracyphasespace:cleanup/quantuminfo-exemptions

chore(QuantumInfo): clear files from the linter exemption list

1115ffd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check for spelling errors
succeeded Jun 24, 2026 in 11s