chore: try a bit lower

Author: samrose

.github/workflows/nix-build.yml

@@ -42,7 +42,7 @@ jobs:
           role-to-assume: ${{ secrets.DEV_AWS_ROLE }}
           aws-region: "us-east-1"
           output-credentials: true
-          role-duration-seconds: 9000
+          role-duration-seconds: 8200
       - name: write secret key
         # use python so we don't interpolate the secret into the workflow logs, in case of bugs
         run: |