From 620ad89474d7ef08c1dfdbc836d6b8c97ebe5974 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C5=ABdolfs=20O=C5=A1i=C5=86=C5=A1?= Date: Wed, 23 Jul 2025 11:19:28 +0200 Subject: [PATCH] Fix lint pipeline Create build directory if it doesn't exist. --- scripts/check-rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/check-rs b/scripts/check-rs index 4f43dde31..e0cf40c5d 100755 --- a/scripts/check-rs +++ b/scripts/check-rs @@ -1,6 +1,8 @@ #!/bin/sh set -e +mkdir -p "$(dirname "$0")/../build" + cargo fmt --check cargo clippy --workspace -- -Dwarnings cargo check --workspace