Merge pull request #92 from model-checking/dependabot/github_actions/aws-actions/configure-aws-credentials-6.1.0

build(deps): bump aws-actions/configure-aws-credentials from 6.0.0 to 6.1.0

Author: tautschnig

.github/workflows/release.yaml

@@ -72,7 +72,7 @@ jobs:
             ```
 
       - name: Authenticate GitHub workflow to AWS
-        uses: aws-actions/configure-aws-credentials@v6.0.0
+        uses: aws-actions/configure-aws-credentials@v6.1.0
         with:
           role-to-assume: ${{ env.AWS_ROLE }}
           aws-region: ${{ env.AWS_REGION }}