From 428fb624d6fd1c2dd0643c81530a6ff4adfe03e5 Mon Sep 17 00:00:00 2001
From: Evan Pratten <ewpratten@gmail.com>
Date: Thu, 20 Jul 2023 15:12:09 -0400
Subject: [PATCH] Enable clippy

---
 .github/workflows/clippy.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 .github/workflows/clippy.yml

diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml
new file mode 100644
index 0000000..b4d4529
--- /dev/null
+++ b/.github/workflows/clippy.yml
@@ -0,0 +1,19 @@
+name: Clippy check
+
+on:
+  push:
+
+permissions:
+    checks: write
+    contents: read
+
+jobs:
+  clippy_check:
+    runs-on: ubuntu-latest
+    steps:
+        - uses: actions/checkout@v1
+        - run: rustup component add clippy
+        - uses: actions-rs/clippy-check@v1
+          with:
+            token: ${{ secrets.GITHUB_TOKEN }}
+            args: --all-features