mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-11 08:45:32 +03:00
fix: workflow
This commit is contained in:
parent
48ae542fe0
commit
0cbfa9c1c4
@ -3,7 +3,7 @@ set -e
|
||||
git clone https://github.com/Kindelia/Wikind.git
|
||||
|
||||
for file in ./Wikind/**/*.kind2; do
|
||||
kind2 --root=Wikind check $file
|
||||
cargo run --release -- --root=Wikind check $file
|
||||
done
|
||||
|
||||
rm Wikind
|
Loading…
Reference in New Issue
Block a user