Skip to content

Update salsa to pull in fixpoint fixes - #17847

Merged
MichaReiser merged 2 commits into
mainfrom
micha/perf-fixpoint-fix
May 6, 2025
Merged

Update salsa to pull in fixpoint fixes#17847
MichaReiser merged 2 commits into
mainfrom
micha/perf-fixpoint-fix

Bump salsa again

423a878
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs