Page pushing

Author: nelsonjchen

.github/workflows/sync.yml

@@ -22,4 +22,28 @@ jobs:
       # Run python generate.py
       - name: Run python generate.py
         run: |
-          python3 generate.py
+          python3 generate.py --no-dry-run
+      - name: Upload Pages artifact
+        uses: actions/upload-pages-artifact@v2
+        with:
+          path: pages
+  deploy-pages:
+    # Add a dependency to the build job
+    needs: sync
+
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
+    permissions:
+      pages: write      # to deploy to Pages
+      id-token: write   # to verify the deployment originates from an appropriate source
+
+    # Deploy to the github-pages environment
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    # Specify runner + deployment step
+    runs-on: ubuntu-latest
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v2 # or the latest "vX.X.X" version tag for this action

generate.py

@@ -139,7 +139,9 @@ def generate_html(base_cars_base_branches):
 </body>
 </html>
 """
-    with open("index.html", "w") as f:
+    # Make pages directory if it doesn't exist
+    os.system("mkdir -p pages")
+    with open("pages/index.html", "w") as f:
         f.write(header + body + footer)
 
 def main(push=True):