Merge branch 'main' into feature/unify-Combine-and-CombineTypes

Author: winitzki

.github/workflows/main.yml

@@ -45,7 +45,7 @@ jobs:
     runs-on: ${{ matrix.os.runner }}
     steps:
       - name: "Checkout repository"
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           submodules: true
       - id: setup-haskell-cabal