github: Tweak csv pipeline

.github/workflows/csv.yml

@@ -3,7 +3,7 @@ name: Rebuild debian-*.csv
 on:
   schedule:
     # Every Saturday afternoon
-    - cron: "0 14 * * 6"
+    - cron: "0 15 * * 6"
 
 jobs:
   update-versions:
@@ -15,29 +15,18 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v3
 
-      - name: Install dependencies
+      - name: Rebuild
         timeout-minutes: 5
-        env:
-          DEBIAN_FRONTEND: noninteractive
-        run: |
-          sudo apt-get update
-          sudo apt-get --assume-yes \
-                       --no-install-recommends \
-                       install python3
-
-      - name: Regenerate
-        timeout-minutes: 5
-        shell: bash -e
         run: |
+          set -e
+          git config user.name "Johan Gunnarsson"
+          git config user.email "johan.gunnarsson@gmail.com"
           ./metascripts/rebuild-debian-csv
-          git add debians-arm.csv
-          git add debians-x86.csv
+          git add debians-arm.csv debians-x86.csv
           if git commit -m "debians: Update Debian/Ubuntu versions"; then
             ./metascripts/rebuild-jekyll-boards
             git add -A docs
             if git commit -m "docs: Regenerate boards"; then
-              git config user.name "Johan Gunnarsson"
-              git config user.email "johan.gunnarsson@gmail.com"
               git push origin
             fi
           fi