Improve CI

.github/workflows/rust.yml

@@ -3,8 +3,14 @@ name: Check
 on:
   push:
     branches: [main]
+    paths-ignore:
+      - website
+      - '*.md'
   pull_request:
     branches: [main]
+    paths-ignore:
+      - website
+      - '*.md'
 
 env:
   CARGO_TERM_COLOR: always
@@ -14,7 +20,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - run: cargo clippy -- --deny warnings
+      - name: Clippy
+        run: cargo clippy -- --deny warnings
   fmt:
     runs-on: ubuntu-latest
     steps:

.github/workflows/website.yml

@@ -3,25 +3,24 @@ name: Website
 on:
   push:
     branches: [main]
+    paths: [website]
 
 jobs:
-  # Build & upload the static files as an artifact
   build:
     defaults:
       run:
         working-directory: website
-
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - name: Install Zola
-        run: sudo snap install zola
       - name: Install TailwindCSS
-        run: npm install @tailwindcss/cli
+        run: npm install
       - name: Build CSS
-      - run: npx @tailwindcss/cli -m -i input.css -o static/main.css
+        run: npx @tailwindcss/cli -m -i input.css -o static/main.css
+      - name: Download Zola
+        run: curl -fsSL https://github.com/getzola/zola/releases/download/v0.20.0/zola-v0.20.0-x86_64-unknown-linux-gnu.tar.gz | tar xz
       - name: Build site
-        run: zola build
+        run: ./zola build
       - name: Upload static files as artifact
         uses: actions/upload-pages-artifact@v3
         with:
@@ -29,17 +28,14 @@ jobs:
 
   deploy:
     needs: build
-
     # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
     permissions:
       pages: write    # to deploy to Pages
       id-token: write # to verify the deployment originates from an appropriate source
-
     # Deploy to the github-pages environment
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
-
     runs-on: ubuntu-latest
     steps:
       - name: Deploy to GitHub Pages