GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

Bump Windows binaries from `windows-2019` to `windows-2022` #40

Open RyanGlScott opened 1 year ago

RyanGlScott commented 1 year ago

Currently, GitHub Actions offers windows-2019 and windows-2022 editions of their Windows CI runners. We are currently using windows-2019 runners in the what4-solvers CI, but we should switch over to windows-2022. It is only a matter of time before GitHub Actions eventually deprecates and removes the windows-2019 runners.