Merge branch 'develop' into feature/toploc-work-submission

Author: JannikSt

.github/workflows/checks.yml

@@ -19,6 +19,7 @@ env:
 jobs:
   check:
     name: Format & Lint
+    runs-on: ubuntu-22.04
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@master