Revert "feat: add actionlint (#89)"

This reverts commit 2654ea3.
leanprover-community · Aug 2, 2024 · 6e0f57f · 6e0f57f
1 parent 2654ea3
commit 6e0f57f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 24 deletions.
diff --git a/.github/workflows/actionlint.yml b/.github/workflows/actionlint.yml
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -12,18 +12,18 @@ jobs:
     name: Build HTML
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v2
 
       - name: install Python
-        uses: actions/setup-python@v5
+        uses: actions/setup-python@v1
         with:
-          python-version: 3.12
+          python-version: 3.9
 
       - name: install Python dependencies
         run: python -m pip install -r requirements.txt
 
       - name: build site
-        run: ./deploy.sh
+        run: ./deploy.sh 
         env:
           git_hash: ${{ github.sha }}
           DEPLOY_GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}