diff options
author | Manlio Perillo <manlio.perillo@gmail.com> | 2023-04-16 18:07:51 +0200 |
---|---|---|
committer | Manlio Perillo <manlio.perillo@gmail.com> | 2023-04-18 18:16:19 +0200 |
commit | 7d7be0482c3a2cafc91c743c6d139b5c140457f3 (patch) | |
tree | 1339dd92a9152587ca7fef52259c1674515c9c76 /patches/eowyn.sh | |
parent | 6b17a188936d489e2777e541c84112b2609532d5 (diff) |
eowyn: run `zig fmt --check` before `zig build`
Update the eowyn.sh script to check the healed exercises formatting,
before running `zig build`.
Diffstat (limited to 'patches/eowyn.sh')
-rwxr-xr-x | patches/eowyn.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/patches/eowyn.sh b/patches/eowyn.sh index a30a67a..a036acf 100755 --- a/patches/eowyn.sh +++ b/patches/eowyn.sh @@ -42,5 +42,8 @@ do fi done +# Check the healed exercises formatting. +zig fmt --check patches/healed + # Test the healed exercises. May the compiler have mercy upon us. zig build -Dhealed |