Publish: Generate README.html

.github/workflows/publish.yml

@@ -28,7 +28,18 @@ jobs:
     name: Upload content to web server
     steps:
 
-    - name: Connect using Tailscale
+    - name: Acquire sources
+      uses: actions/checkout@v4
+
+    - name: Set up uv
+      uses: astral-sh/setup-uv@v4
+
+    - name: Generate README
+      run: |
+        cat README.md | uv run --with markdown -m markdown > README.html
+        rm README.md
+
+    - name: Connect to tailnet
       uses: tailscale/github-action@v3
       with:
         oauth-client-id: ${{ secrets.TS_OAUTH_CLIENT_ID }}
@@ -38,9 +49,6 @@ jobs:
     - name: Probe network connectivity
       run: ping -c2 cdn-tailnet.vdc.cr8.net &
 
-    - name: Acquire sources
-      uses: actions/checkout@v4
-
     - name: Install Rclone
       run: sudo apt-get install --yes --no-install-recommends --no-install-suggests rclone
 
@@ -56,7 +64,7 @@ jobs:
 
         EOF
 
-    - name: Upload content using WebDAV
+    - name: Publish using WebDAV
       env:
         RCLONE_WEBDAV_USER: webdav
         RCLONE_WEBDAV_PASS: ${{ secrets.RCLONE_WEBDAV_PASS }}

README.md

@@ -23,7 +23,7 @@ The content of this repository is published to an HTTP folder
 on the web server. Please consume all resources from there,
 because it is discouraged to use GitHub as a CDN.
 
-https://cdn.crate.io/downloads/datasets/cratedb-datasets/
+[https://cdn.crate.io/downloads/datasets/cratedb-datasets/]
 
 ### Python API
 
@@ -82,3 +82,4 @@ type, make sure it is listed there.
 
 [Dataset API]: https://cratedb-toolkit.readthedocs.io/datasets.html
 [Git LFS]: https://git-lfs.com/
+[https://cdn.crate.io/downloads/datasets/cratedb-datasets/]: https://cdn.crate.io/downloads/datasets/cratedb-datasets/