update agda-web-docs-lib to v1.0.1 with npm caching fixes

will-break-it · will-break-it · commit 8a03eecd1eec · 2025-05-29T21:01:58.000+02:00
diff --git a/.github/workflows/formal-spec-listener.yaml b/.github/workflows/formal-spec-listener.yaml
@@ -135,7 +135,7 @@ jobs:
           fi
 
       - name: 🔄 Enhance Agda documentation
-        uses: will-break-it/agda-web-docs-lib@v1.0.0
+        uses: will-break-it/agda-web-docs-lib@v1.0.1
         with:
           input-dir: site/static/formal-spec
           config-file: site/agda-docs.config.json

-Original file line number
+Diff line change
           fi
       - name: 🔄 Enhance Agda documentation
 -        uses: will-break-it/[email protected].0
 +        uses: will-break-it/[email protected].1
         with:
           input-dir: site/static/formal-spec
           config-file: site/agda-docs.config.json