Check release build profile in CI
authorElias Rohrer <ero@tnull.de>
Fri, 10 Jun 2022 08:45:57 +0000 (10:45 +0200)
committerElias Rohrer <ero@tnull.de>
Fri, 10 Jun 2022 13:22:31 +0000 (15:22 +0200)
commitc21593db99f43f166cd9352793d133a588d8c344
tree8c607582081028b533fa1fcde82f8d2e0aaa4c0e
parent0fc2036f76d8a601699b7e823d8576e9b7a61d7f
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.
.github/workflows/build.yml