Skip to content

Add target alignments for literal types#1335

Merged
Nadrieril merged 2 commits into
AeneasVerif:mainfrom
firefighterduck:target_alignments
Jul 23, 2026
Merged

Add target alignments for literal types#1335
Nadrieril merged 2 commits into
AeneasVerif:mainfrom
firefighterduck:target_alignments

update version

4a589d4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
select-runner / select
succeeded Jul 23, 2026 in 6s