From 3303d59629b2b24e45524974376a65d7ceb8ab21 Mon Sep 17 00:00:00 2001 From: andrewc Date: Tue, 2 Apr 2024 13:05:17 +1000 Subject: [PATCH] Changed board ID to be 6 digit instead of 4. --- kibot-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kibot-ci.yml b/kibot-ci.yml index ae3e6d9..bd92fe2 100644 --- a/kibot-ci.yml +++ b/kibot-ci.yml @@ -55,7 +55,7 @@ image: do dir=$(dirname $f) echo $dir - if [[ "$dir" =~ ^.?\/?[0-9]{4}-.*$ || "$dir" =~ .+_panel ]] + if [[ "$dir" =~ ^.?\/?[0-9]{6}-.*$ || "$dir" =~ .+_panel ]] then FILT_FILES=$(echo "$FILT_FILES $f") FILT_DIRS=$(echo "$FILT_DIRS $dir")