Elias Rohrer c21593db99 Check release build profile in CI ... So far, CI did not check the code in the `release` build profile, which could result in some things not getting caught. To fix this, we now implement a new CI job that runs checks in the `release` profile. Switch to stable toolchain.		2022-06-10 15:22:31 +02:00
..
workflows	Check release build profile in CI	2022-06-10 15:22:31 +02:00
dependabot.yml	Create dependabot.yml	2022-01-18 19:39:53 +00:00