Merge branch 'master' into phoebe/procedure/docs

Author: gefjon

.github/workflows/ci.yml

@@ -34,6 +34,7 @@ jobs:
             container: null
     runs-on: ${{ matrix.runner }}
     container: ${{ matrix.container }}
+    timeout-minutes: 120
     env:
       CARGO_TARGET_DIR: ${{ github.workspace }}/target
     steps: