diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2024-08-30 10:10:34 +0100 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2024-08-30 10:10:34 +0100 |
| commit | 9d3882d2d84a3a3b48f442d1abd846839eeb0c40 (patch) | |
| tree | 3b9ccf8e756459c93b86be1650dea3174a409fde /git_hooks/pre-commit | |
| parent | f735aeb69942546b4d6c2ae1156d20db2edb24f3 (diff) | |
build: remove pre-commit git hook
because it takes to long to run and impacts workflow
it was only recently fixed as it didn't have execute permissions
Diffstat (limited to 'git_hooks/pre-commit')
| -rwxr-xr-x | git_hooks/pre-commit | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/git_hooks/pre-commit b/git_hooks/pre-commit deleted file mode 100755 index 5ec9f01..0000000 --- a/git_hooks/pre-commit +++ /dev/null | |||
| @@ -1,18 +0,0 @@ | |||
| 1 | #!/bin/sh | ||
| 2 | |||
| 3 | set -eu | ||
| 4 | |||
| 5 | if ! cargo fmt -- --check | ||
| 6 | then | ||
| 7 | echo "There are some code style issues." | ||
| 8 | echo "Run cargo fmt first." | ||
| 9 | exit 1 | ||
| 10 | fi | ||
| 11 | |||
| 12 | if ! cargo clippy --all-targets -- -D warnings | ||
| 13 | then | ||
| 14 | echo "There are some clippy issues." | ||
| 15 | exit 1 | ||
| 16 | fi | ||
| 17 | |||
| 18 | exit 0 \ No newline at end of file | ||