Infra: Upload rendered PEPs as GitHub artifact (#2410)

python · Mar 11, 2022 · 719347a · 719347a
1 parent 7c1ff71
commit 719347a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 4 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -9,10 +9,10 @@ jobs:
 
     steps:
       - name: Check out repo
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Set up Python 3
-        uses: actions/setup-python@v2
+        uses: actions/setup-python@v3
         with:
           python-version: '3.x'
 

diff --git a/.github/workflows/render.yml b/.github/workflows/render.yml
@@ -9,12 +9,12 @@ jobs:
 
     steps:
       - name: 🛎️ Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
         with:
           fetch-depth: 0  # fetch all history so that last modified date-times are accurate
 
       - name: 🐍 Set up Python 3
-        uses: actions/setup-python@v2
+        uses: actions/setup-python@v3
         with:
           python-version: '3.x'
           cache: "pip"
@@ -39,3 +39,10 @@ jobs:
           branch: gh-pages # The branch to deploy to.
           folder: build # Synchronise with build.py -> build_directory
           single-commit: true # Delete existing files
+
+      - name: 📦 Upload built PEPs as zipped artifact
+        uses: actions/upload-artifact@v3
+        with:
+          name: peps
+          path: build
+          retention-days: 7