Daniel Hofstetter 45dd3a4a28 ci: use -Cinstrument-coverage instead of -Zprofile ...

Support for -Zprofile has been removed: https://github.com/rust-lang/rust/pull/131829

2024-11-08 10:32:17 +01:00

..

workflows

ci: use -Cinstrument-coverage instead of -Zprofile

2024-11-08 10:32:17 +01:00