docs: switch to Zensical, fix publishing, and restyle the reference

.github/workflows/deploy_docs.yml

@@ -1,19 +1,19 @@
 name: Build and Deploy Documentation
 
+# mike commits each version of the site to the gh-pages branch, which GitHub Pages serves.
 on:
   push:
     branches:
       - main
-    # paths:
-    #   - "docs/**"
-    #   - "mkdocs.yml"
   release:
     types: [published]
 
 permissions:
   contents: write
-  pages: write
-  id-token: write
+
+concurrency:
+  group: docs
+  cancel-in-progress: false
 
 jobs:
   build:
@@ -39,36 +39,21 @@ jobs:
           git config user.name 'github-actions[bot]'
           git config user.email 'github-actions[bot]@users.noreply.github.com'
 
-      - name: Build Docs Website
+      # Rules added since the last release show "Unreleased" until their version is stamped in the
+      # source; the released docs show the version they ship in.
+      - name: Stamp unreleased rules
+        if: github.event_name == 'release'
+        env:
+          VERSION: ${{ github.event.release.tag_name }}
+        run: sed -i "s/\*\*Since\*\* \`Unreleased\`/**Since** \`$VERSION\`/" docs/reference/rules/*.md
+
+      - name: Build and push the docs
+        env:
+          VERSION: ${{ github.event.release.tag_name }}
         run: |
           if [ "${{ github.event_name }}" = "release" ]; then
-            uv run mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
+            uv run mike deploy --push --update-aliases "$VERSION" latest
             uv run mike set-default --push latest
           else
             uv run mike deploy --push main
           fi
-
-  deploy:
-    needs: build
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4
-        with:
-          ref: gh-pages
-
-      - name: Setup Pages
-        uses: actions/configure-pages@v5
-
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
-        with:
-          path: '.'
-
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
-

.github/workflows/release.yml

@@ -276,3 +276,39 @@ jobs:
             echo "[Link](${{ steps.create-release.outputs.url }})"
             echo ""
           } >> "$GITHUB_STEP_SUMMARY"
+
+  # New rules are written with `version: "next"`. Once the version of a release is known, open a
+  # PR that sets it.
+  stamp_rule_versions:
+    name: Stamp Rule Versions
+    runs-on: ubuntu-latest
+    needs: [extract_version, create_changelog_and_release]
+    permissions:
+      contents: write
+      pull-requests: write
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          ref: main
+
+      - name: Open a PR that stamps the version
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          VERSION: ${{ needs.extract_version.outputs.version }}
+        run: |
+          files=$(grep -rl 'version: "next"' crates/pgls_analyser/src/lint || true)
+          if [ -z "$files" ]; then
+            echo "No unreleased rules."
+            exit 0
+          fi
+          branch="chore/stamp-rule-versions-$VERSION"
+          git config user.name 'github-actions[bot]'
+          git config user.email 'github-actions[bot]@users.noreply.github.com'
+          git checkout -b "$branch"
+          echo "$files" | xargs sed -i "s/version: \"next\"/version: \"$VERSION\"/"
+          sed -i "s/\*\*Since\*\* \`Unreleased\`/**Since** \`$VERSION\`/" docs/reference/rules/*.md
+          git commit -am "chore: stamp the version of rules released in $VERSION"
+          git push origin "$branch"
+          gh pr create --base main --head "$branch" \
+            --title "chore: stamp the version of rules released in $VERSION" \
+            --body "Sets the version of the rules first released in $VERSION."

.python-version

@@ -0,0 +1 @@
+3.13

crates/pgls_analyser/src/lint/correctness/avoid_alter_enum_add_value.rs

@@ -25,7 +25,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AvoidAlterEnumAddValue {
-        version: "next",
+        version: "0.25.0",
         name: "avoidAlterEnumAddValue",
         severity: Severity::Warning,
         recommended: false,

crates/pgls_analyser/src/lint/correctness/ban_concurrent_index_creation_in_transaction.rs

@@ -19,7 +19,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub BanConcurrentIndexCreationInTransaction {
-        version: "next",
+        version: "0.15.0",
         name: "banConcurrentIndexCreationInTransaction",
         severity: Severity::Error,
         recommended: true,

crates/pgls_analyser/src/lint/correctness/invalid_drop_type_signature.rs

@@ -24,7 +24,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub InvalidDropTypeSignature {
-        version: "next",
+        version: "0.27.0",
         name: "invalidDropTypeSignature",
         severity: Severity::Error,
         recommended: true,

crates/pgls_analyser/src/lint/correctness/transaction_nesting.rs

@@ -26,7 +26,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub TransactionNesting {
-        version: "next",
+        version: "0.15.0",
         name: "transactionNesting",
         severity: Severity::Warning,
         recommended: false,

crates/pgls_analyser/src/lint/destructive/adding_required_field.rs

@@ -17,7 +17,7 @@ declare_lint_rule! {
     /// ## Valid in Postgres >= 11
     /// alter table test add column count int not null default 0;
     pub AddingRequiredField {
-        version: "next",
+        version: "0.1.0",
         name: "addingRequiredField",
         severity: Severity::Error,
         recommended: false,

crates/pgls_analyser/src/lint/destructive/ban_delete_without_where.rs

@@ -25,7 +25,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub BanDeleteWithoutWhere {
-        version: "next",
+        version: "0.25.0",
         name: "banDeleteWithoutWhere",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/destructive/ban_drop_column.rs

@@ -19,7 +19,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub BanDropColumn {
-        version: "next",
+        version: "0.1.0",
         name: "banDropColumn",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/destructive/ban_drop_database.rs

@@ -8,7 +8,7 @@ declare_lint_rule! {
     ///
     /// Make sure that you really want to drop it.
     pub BanDropDatabase {
-        version: "next",
+        version: "0.9.0",
         name: "banDropDatabase",
         severity: Severity::Warning,
         recommended: false,

crates/pgls_analyser/src/lint/destructive/ban_drop_not_null.rs

@@ -18,7 +18,7 @@ declare_lint_rule! {
     /// alter table users alter column email drop not null;
     /// ```
     pub BanDropNotNull {
-        version: "next",
+        version: "0.1.0",
         name: "banDropNotNull",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/destructive/ban_drop_schema.rs

@@ -25,7 +25,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub BanDropSchema {
-        version: "next",
+        version: "0.25.0",
         name: "banDropSchema",
         severity: Severity::Error,
         recommended: true,

crates/pgls_analyser/src/lint/destructive/ban_drop_table.rs

@@ -18,7 +18,7 @@ declare_lint_rule! {
     /// drop table some_table;
     /// ```
     pub BanDropTable {
-        version: "next",
+        version: "0.1.0",
         name: "banDropTable",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/destructive/ban_truncate.rs

@@ -25,7 +25,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub BanTruncate {
-        version: "next",
+        version: "0.25.0",
         name: "banTruncate",
         severity: Severity::Error,
         recommended: true,

crates/pgls_analyser/src/lint/destructive/ban_truncate_cascade.rs

@@ -21,7 +21,7 @@ declare_lint_rule! {
     ///
     /// `truncate a, b;`
     pub BanTruncateCascade {
-        version: "next",
+        version: "0.9.0",
         name: "banTruncateCascade",
         severity: Severity::Error,
         recommended: false,

crates/pgls_analyser/src/lint/destructive/ban_update_without_where.rs

@@ -24,7 +24,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub BanUpdateWithoutWhere {
-        version: "next",
+        version: "0.25.0",
         name: "banUpdateWithoutWhere",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/destructive/changing_column_type.rs

@@ -33,7 +33,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub ChangingColumnType {
-        version: "next",
+        version: "0.15.0",
         name: "changingColumnType",
         severity: Severity::Warning,
         recommended: false,

crates/pgls_analyser/src/lint/destructive/renaming_column.rs

@@ -19,7 +19,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub RenamingColumn {
-        version: "next",
+        version: "0.15.0",
         name: "renamingColumn",
         severity: Severity::Warning,
         recommended: false,

crates/pgls_analyser/src/lint/destructive/renaming_table.rs

@@ -19,7 +19,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub RenamingTable {
-        version: "next",
+        version: "0.15.0",
         name: "renamingTable",
         severity: Severity::Warning,
         recommended: false,

crates/pgls_analyser/src/lint/safety/add_serial_column.rs

@@ -30,7 +30,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AddSerialColumn {
-        version: "next",
+        version: "0.17.0",
         name: "addSerialColumn",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/safety/adding_field_with_default.rs

@@ -31,7 +31,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AddingFieldWithDefault {
-        version: "next",
+        version: "0.15.0",
         name: "addingFieldWithDefault",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/safety/adding_foreign_key_constraint.rs

@@ -35,7 +35,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AddingForeignKeyConstraint {
-        version: "next",
+        version: "0.15.0",
         name: "addingForeignKeyConstraint",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/safety/adding_not_null_field.rs

@@ -31,7 +31,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AddingNotNullField {
-        version: "next",
+        version: "0.15.0",
         name: "addingNotNullField",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/safety/adding_primary_key_constraint.rs

@@ -32,7 +32,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AddingPrimaryKeyConstraint {
-        version: "next",
+        version: "0.15.0",
         name: "addingPrimaryKeyConstraint",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/safety/avoid_adding_exclusion_constraint.rs

@@ -27,7 +27,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AvoidAddingExclusionConstraint {
-        version: "next",
+        version: "0.25.0",
         name: "avoidAddingExclusionConstraint",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/safety/avoid_attaching_partition.rs

@@ -25,7 +25,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AvoidAttachingPartition {
-        version: "next",
+        version: "0.25.0",
         name: "avoidAttachingPartition",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/safety/avoid_create_trigger.rs

@@ -25,7 +25,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AvoidCreateTrigger {
-        version: "next",
+        version: "0.25.0",
         name: "avoidCreateTrigger",
         severity: Severity::Warning,
         recommended: false,

crates/pgls_analyser/src/lint/safety/avoid_enable_disable_trigger.rs

@@ -24,7 +24,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AvoidEnableDisableTrigger {
-        version: "next",
+        version: "0.25.0",
         name: "avoidEnableDisableTrigger",
         severity: Severity::Warning,
         recommended: false,

crates/pgls_analyser/src/lint/safety/avoid_wide_lock_window.rs

@@ -29,7 +29,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub AvoidWideLockWindow {
-        version: "next",
+        version: "0.25.0",
         name: "avoidWideLockWindow",
         severity: Severity::Warning,
         recommended: true,

crates/pgls_analyser/src/lint/safety/ban_drop_trigger.rs

@@ -24,7 +24,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub BanDropTrigger {
-        version: "next",
+        version: "0.25.0",
         name: "banDropTrigger",
         severity: Severity::Warning,
         recommended: false,

crates/pgls_analyser/src/lint/safety/ban_vacuum_full.rs

@@ -25,7 +25,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub BanVacuumFull {
-        version: "next",
+        version: "0.25.0",
         name: "banVacuumFull",
         severity: Severity::Error,
         recommended: true,

crates/pgls_analyser/src/lint/safety/constraint_missing_not_valid.rs

@@ -27,7 +27,7 @@ declare_lint_rule! {
     /// ```
     ///
     pub ConstraintMissingNotValid {
-        version: "next",
+        version: "0.15.0",
         name: "constraintMissingNotValid",
         severity: Severity::Warning,
         recommended: false,