re-add runs-on to pages publish workflow

verus-lang · Feb 11, 2025 · 5fd2214 · 5fd2214
1 parent e0fdc42
commit 5fd2214
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -74,6 +74,7 @@ jobs:
     permissions:
       pages: write
       id-token: write
+    runs-on: ubuntu-latest
     steps:
       - name: deploy to github pages
         id: deployment