From 38141a6f147fea27c1386aa27260e0deb617dc4c Mon Sep 17 00:00:00 2001
From: Reiner Gerecke <me@reinergerecke.de>
Date: Sun, 11 Dec 2022 16:18:57 +0100
Subject: [PATCH] Check for outdated auto-generated files in CI (#1192)

---
 .github/workflows/ci.yaml | 9 +++++++++
 src/settings/options.rs   | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 35a63cedee..42cde35764 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -20,6 +20,9 @@ jobs:
       - uses: actions-rs/toolchain@v1
         with:
           profile: minimal
+          toolchain: nightly-2022-11-01
+          override: true
+          components: rustfmt
       - uses: actions/cache@v3
         env:
           cache-name: cache-cargo
@@ -33,6 +36,12 @@ jobs:
             ${{ runner.os }}-build-
             ${{ runner.os }}-
       - run: cargo build --all --release
+      - run: ./target/release/ruff_dev generate-rules-table
+      - run: ./target/release/ruff_dev generate-options
+      - run: git diff --quiet README.md || echo "::error file=README.md::This file is outdated. You may have to rerun 'cargo dev generate-options' and/or 'cargo dev generate-rules-table'."
+      - run: ./target/release/ruff_dev generate-check-code-prefix && cargo fmt -- src/checks_gen.rs
+      - run: git diff --quiet src/checks_gen.rs || echo "::error file=src/checks_gen.rs::This file is outdated. You may have to rerun 'cargo dev generate-check-code-prefix'."
+      - run: git diff --exit-code -- README.md src/checks_gen.rs
 
   cargo_fmt:
     name: "cargo fmt"
diff --git a/src/settings/options.rs b/src/settings/options.rs
index 68a1ba6000..21796519a5 100644
--- a/src/settings/options.rs
+++ b/src/settings/options.rs
@@ -20,7 +20,7 @@ pub struct Options {
             `RUF002`, and `RUF003`.
         "#,
         default = r#"[]"#,
-        value_type = "Vec<char>",
+        value_type = "Vec<a test>",
         example = r#"
             # Allow minus-sign (U+2212), greek-small-letter-rho (U+03C1), and the asterisk-operator (U+2217),
             # which could be confused for "-", "p", and "*", respectively.