Update GitHub actions and fix release builds

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

http://prusti.org

Other

1.55k stars 106 forks source link

Update GitHub actions and fix release builds #1435

Closed vakaras closed 1 year ago

vakaras commented 1 year ago

Update GitHub actions to fix deprecation warnings.

fpoli commented 1 year ago

Found it! The linker error seems to be due to rust-lang/rust#111888, because setting codegen-units = 1 fixes it :smile:

fpoli commented 1 year ago

I'm not convinced we should keep the build-release job, because it raises the number of VMs used in parallel to 11 per CI run, and GitHub only provides a maximum of 20 parallel VMs across all projects of our organization.

I'll merge for the moment, but we should follow up on this.