Skip to content

Remove windows 2019 from CI checks#297

Merged
oscarbenjamin merged 1 commit into
flintlib:mainfrom
oscarbenjamin:pr_remove_windows_2019
Jul 2, 2025
Merged

Remove windows 2019 from CI checks#297
oscarbenjamin merged 1 commit into
flintlib:mainfrom
oscarbenjamin:pr_remove_windows_2019

Commits

Commits on Jul 2, 2025