summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatthias Beyer <mail@beyermatthias.de>2023-12-15 20:32:03 +0100
committerGitHub <noreply@github.com>2023-12-15 20:32:03 +0100
commit4457cffb681e9765e364afb24cd28e247f9dc6e5 (patch)
tree6a0c0dbd1197e2e8ec950142c26878394c122321
parentb3bda2c37ea4823b6842ce0f08fd281c07374d60 (diff)
parent52f5b80ffefd463e9031b783b56c1826b01e5aae (diff)
Merge pull request #507 from matthiasbeyer/check-external-types
Check external types
-rw-r--r--.github/workflows/external-types.yml22
-rw-r--r--external-types.toml10
2 files changed, 32 insertions, 0 deletions
diff --git a/.github/workflows/external-types.yml b/.github/workflows/external-types.yml
new file mode 100644
index 0000000..2a74a39
--- /dev/null
+++ b/.github/workflows/external-types.yml
@@ -0,0 +1,22 @@
+on: [push, pull_request]
+
+name: Check-external-types
+
+jobs:
+ check:
+ name: Check
+ runs-on: ubuntu-latest
+ steps:
+ - name: Checkout sources
+ uses: actions/checkout@v4.1.1
+
+ - name: Install toolchain
+ uses: dtolnay/rust-toolchain@master
+ with:
+ toolchain: nightly
+
+ - name: Install cargo-check-external-types
+ run: cargo install --locked cargo-check-external-types
+
+ - name: Run cargo check-external-types
+ run: cargo check-external-types --config ./external-types.toml
diff --git a/external-types.toml b/external-types.toml
new file mode 100644
index 0000000..d2802ad
--- /dev/null
+++ b/external-types.toml
@@ -0,0 +1,10 @@
+allowed_external_types = [
+ "convert_case::case::Case",
+ "nom::error::ErrorKind",
+ "serde::de::Deserialize",
+ "serde::de::Deserializer",
+ "serde::de::Error",
+ "serde::ser::Error",
+ "serde::ser::Serialize",
+]
+