search

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.52k stars 103 forks source link

Remove redundant build on Ubuntu 22.04 #1439

Closed fpoli closed 10 months ago

fpoli commented 11 months ago

Since we fixed the error with the libssl version, building releases on Ubuntu 22.04 is not needed: the version built on Ubuntu 20.04 runs perfectly fine in Ubuntu 22.04.

(Maybe Ubuntu 24.04 will require a separate build; who knows. Good luck future readers.)