Deploy for macOS arm64 and preserve file attributes - Githubissues

viperproject / prusti-dev

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

http://prusti.org

Other

1.52k stars 102 forks source link

Deploy for macOS arm64 and preserve file attributes #1499

Closed fpoli closed 4 months ago

fpoli commented 4 months ago

Update the deploy workflow to:

compile on a macOS M1 runner (#1193)
preserve file attributes (#1497)