Merge pull request #122 from model-checking/dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.0

build(deps): bump aws-actions/configure-aws-credentials from 6.1.1 to 6.2.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.1.1
+        uses: aws-actions/configure-aws-credentials@v6.2.0
         with:
           role-to-assume: ${{ env.AWS_ROLE }}
           aws-region: ${{ env.AWS_REGION }}