try more versions

.github/workflows/build-explorer.yml

@@ -23,6 +23,9 @@ jobs:
       - name: Checkout Remote Repository
         uses: actions/checkout@v3
 
+      - name: Install uv
+        uses: astral-sh/setup-uv@v2
+
       - name: Clone RDF toolkit
         run: git clone https://github.com/KrishnanN27/rdf-toolkit
 
@@ -74,6 +77,9 @@ jobs:
           npx rdf add file "https://brickschema.org/schema/1.4/Brick" vocab/brick/1.4/Brick.ttl
           npx rdf make site --output public/1.4
 
+      - name: rewrite for version navigation
+        run: find public -name "*.html" | xargs -n 1 -P 4 uv run add_versions.py
+
       - name: Commit Built Files
         run: |
           rm -rf html.explorer

add_versions.py

@@ -25,8 +25,6 @@
 links = {
     "Current stable (Brick v1.4)": "/",
     "Brick v1.4": "/1.4",
-    "Brick v1.4.2": "/1.4.2",
-    "Brick v1.4.1": "/1.4.1",
     "Brick v1.3": "/1.3",
 }