Max Ammann ecaa696430
Deduplicate and fix CI (#189)
* Dedublicate and fix CI

* Set correct toolchain

* Install binstall quicker

* Add check for different arch
2022-10-30 18:46:05 +01:00
..
2022-10-30 18:46:05 +01:00
2022-10-30 18:46:05 +01:00