ci: Regenerate and verify the types files

in order to enforce congruence between them and the schema.

Furthermore drop the generated files from rustfmt ignore
as they're apparently currently formatted.

.github/workflows/ci_verify_clean_types.yml

@@ -0,0 +1,19 @@
+name: CI verify cleanly generated types
+'on':
+  workflow_call: null
+jobs:
+  types:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout (GitHub)
+        uses: actions/checkout@v4
+      - name: Install dependencies
+        run: npm install
+        working-directory: tools/schema/
+      - name: Regenerate types
+        run: node gen_types
+        working-directory: tools/schema/
+      - name: Format generated code
+        run: rustfmt lib/src/types/service_types/mod.rs
+      - name: Verify generated code matches committed code
+        run: git status --porcelain

.github/workflows/main.yml

@@ -33,3 +33,6 @@ jobs:
         run: cargo build --features test-vendored-openssl
       - name: Run tests
         run: cargo test --features test-vendored-openssl --verbose
+
+  verify-clean-types:
+    uses: ./.github/workflows/ci_verify_clean_types.yml

rustfmt.toml

@@ -2,6 +2,5 @@ ignore = [
     "core/src/supported_messsages.rs",
     "server/src/address_space/generated",
     "types/src/node_ids.rs",
-    "types/src/service_types",
     "types/src/status_codes.rs",
 ]