Merge pull request #142 from model-checking/dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.1

build(deps): bump aws-actions/configure-aws-credentials from 6.2.0 to 6.2.1

Author: tautschnig

.github/workflows/release.yaml

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