Merge pull request #14 from model-checking/dependabot/github_actions/aws-actions/configure-aws-credentials-5.1.1

Bump aws-actions/configure-aws-credentials from 1.pre.node16 to 5.1.1

Author: tautschnig

.github/workflows/release.yaml

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