Merge pull request #1095 from mahkoh/jorth/codegen-check

ci: verify that codegen is up-to-date

Author: mahkoh

.github/workflows/codegen.yml

@@ -0,0 +1,26 @@
+name: codegen
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+  workflow_dispatch:
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  codegen:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v7
+    - name: Install
+      run: |
+        curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly
+        rustup toolchain install nightly --allow-downgrade -c rustfmt
+        echo "$HOME/.cargo/bin" >> $GITHUB_PATH
+    - name: Check
+      run: |
+        ./codegen/codegen.sh
+        git diff --exit-code

Cargo.lock

@@ -4,9 +4,9 @@ version = "0.1.0"
 edition = "2024"
 
 [dependencies]
-rand = "0.10.1"
-permutation = "0.4.1"
-anyhow = "1.0.103"
-indexmap = "2.14.0"
-regex = "1.12.4"
-linearize = { version = "0.1.7", features = ["derive"] }
+rand = { version = "0.10.1", default-features = false }
+permutation = { version = "0.4.1", default-features = false }
+anyhow = { version = "1.0.103", default-features = false, features = ["std"] }
+indexmap = { version = "2.14.0", default-features = false, features = ["std"] }
+regex = { version = "1.12.4", default-features = false, features = ["std", "unicode-perl"] }
+linearize = { version = "0.1.7", default-features = false, features = ["derive"] }

codegen/Cargo.toml

@@ -0,0 +1,8 @@
+#!/bin/bash
+
+set -ex
+
+cd -- "$(dirname -- "${BASH_SOURCE[0]}")/.."
+
+cargo run -p codegen
+cargo +nightly fmt