Skip to content

Bump to FLINT 3.6#409

Merged
oscarbenjamin merged 2 commits into
flintlib:mainfrom
oscarbenjamin:pr_bump_flint36
Jul 3, 2026
Merged

Bump to FLINT 3.6#409
oscarbenjamin merged 2 commits into
flintlib:mainfrom
oscarbenjamin:pr_bump_flint36

Update release notes

95f9a67
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lint (3.12)
succeeded Jul 3, 2026 in 19s