Install gh to fix GitHub Actions (second try)

HoTT · Jan 9, 2024 · a1cf8b3 · a1cf8b3
1 parent d993b86
commit a1cf8b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -58,7 +58,7 @@ jobs:
 
       - name: Install gh
         # Needed for using Andrew-Chen-Wang/github-wiki-action@v4
-        run: sudo apt-get install gh
+        run: apt-get install gh
 
       - name: Push GitHub wiki pages
         # This step would err if the forked repo does not already have wiki pages.