Migrate AWS upload user to a different account

It turns out that an AWS user can only have two secrets at a time, to
allow for credential rollover. That means that I should have created
different accounts from the start. Never too late!

Author: shepmaster

.github/workflows/ci.yml

@@ -11,7 +11,7 @@ name: Validate everything
 env:
   DOCKER_HUB_USERNAME: shepmaster
   GH_CONTAINER_REGISTRY_USERNAME: shepmaster
-  AWS_ACCESS_KEY_ID: AKIAWESVHZ3J6US4DSXP
+  AWS_ACCESS_KEY_ID: AKIAWESVHZ3JQAY5NM5K
 jobs:
   build_compiler_containers:
     name: Build ${{ matrix.channel }} compiler container

.github/workflows/cron.yml

@@ -2,13 +2,13 @@
 ---
 name: Scheduled rebuild
 'on':
-  workflow_dispatch: 
+  workflow_dispatch:
   schedule:
   - cron: 7 2 * * *
 env:
   DOCKER_HUB_USERNAME: shepmaster
   GH_CONTAINER_REGISTRY_USERNAME: shepmaster
-  AWS_ACCESS_KEY_ID: AKIAWESVHZ3J6US4DSXP
+  AWS_ACCESS_KEY_ID: AKIAWESVHZ3JQAY5NM5K
 jobs:
   build_compiler_containers:
     name: Build ${{ matrix.channel }} compiler container

ci/workflows.yml

@@ -3,7 +3,7 @@ components:
       env:
         DOCKER_HUB_USERNAME: shepmaster
         GH_CONTAINER_REGISTRY_USERNAME: shepmaster
-        AWS_ACCESS_KEY_ID: AKIAWESVHZ3J6US4DSXP
+        AWS_ACCESS_KEY_ID: AKIAWESVHZ3JQAY5NM5K
 
   - checkout: &checkout
       name: "Checkout code"