Fix website publishing CI pipeline (#669)

Author: mattnite

.github/workflows/publish-github-pages.yml

@@ -62,7 +62,7 @@ jobs:
           echo "{ \"releases\": [$(IFS=,; echo "${releases_with_artifact[*]}")] }" > website/zig-out/downloads/microzig/metadata.json
 
       - name: Build Website
-        run: zig build --summary all
+        run: zig build --summary all -f
         working-directory: website
 
       - name: List Contents
@@ -75,16 +75,15 @@ jobs:
         with:
           path: website/zig-out
 
-
   # Deploy job
   deploy:
     # Add a dependency to the build job
     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
+      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: