keep benchmark artifact around

mattwparas · Dec 24, 2023 · 5721aea · 5721aea
1 parent b709e0d
commit 5721aea
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -29,6 +29,9 @@ jobs:
         git config user.name "Deploy from CI"
         git config user.email ""
         cd gh-pages
+        # Pull the benchmarks if they exist to keep them around through
+        # the book builds
+        git checkout origin/gh-pages -- dev/bench || true
         # Delete the ref to avoid keeping history.
         git update-ref -d refs/heads/gh-pages
         # Delete everything except the book