Update Tumult and regenerate

propensive · propensive · commit c22d98dc34e2 · 2025-01-02T08:02:55.000+01:00
diff --git a/.github/workflows/admin.yml b/.github/workflows/admin.yml
@@ -14,6 +14,6 @@ jobs:
     - name: Checkout
       uses: actions/checkout@v3
     - name: Tidy repository
-      uses: propensive/tumult@0.6.2
+      uses: propensive/tumult@0.6.3
     - name: Autocommit changes
       uses: stefanzweifel/git-auto-commit-action@v4
diff --git a/doc/availability.md b/doc/availability.md
@@ -1 +1,2 @@
 
+
