Merge pull request #1310 from ucb-bar/checkmake-precommit

checkmake pre-commit hook
2023-01-16 01:14:55 -08:00
parent dd5c0e0ca0 1fb6841568
commit 749f84418e
3 changed files with 8 additions and 1 deletions
--- a/.checkmake-config.ini
+++ b/.checkmake-config.ini
@@ -0,0 +1,2 @@
+[minphony]
+disabled = true
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -9,3 +9,8 @@ repos:
      - id: check-yaml
      - id: check-json
      - id: check-added-large-files
+  - repo: https://github.com/mrtazz/checkmake.git
+    rev: main
+    hooks:
+    - id: checkmake
+      args: [--config=./.checkmake-config.ini]