Add documentation for new taps.

2026-06-10 00:00:32 +00:00 · 2025-12-08 01:46:26 +00:00
parent 273ae7692f
commit 48b8ed1496
7 changed files with 281 additions and 141 deletions
@@ -34,9 +34,9 @@ jobs:
        id: check-changes
        run: |
          if git diff --quiet docs/index.html; then
-            echo "changed=false" >> $GITHUB_OUTPUT
+            echo "changed=false" >> "$GITHUB_OUTPUT"
          else
-            echo "changed=true" >> $GITHUB_OUTPUT
+            echo "changed=true" >> "$GITHUB_OUTPUT"
          fi

      - name: Commit and push changes