kopia lustrzana https://github.com/jgromes/RadioLib
[CI] More bash fixes CI_FORCE_BUILD
rodzic
66ee13adea
commit
a90a6e96ae
|
@ -86,7 +86,7 @@ jobs:
|
|||
run: |
|
||||
for example in $(find $PWD/examples -name '*.ino' | sort); do
|
||||
# check whether to skip this sketch
|
||||
if [ ! -z "${{ steps.prep.outputs.skip-path }}" ] && [[ ${example} =~ ${{ steps.prep.outputs.skip-path }} ]]; then
|
||||
if [ ! -z "${{ steps.prep.outputs.skip-path }}" ] && [[ '${example}' =~ '${{ steps.prep.outputs.skip-path }}' ]]; then
|
||||
# skip sketch
|
||||
echo -e "\n\033[1;33mSkipped ${example##*/} (matched with ${{ steps.prep.outputs.skip-path }})\033[0m";
|
||||
else
|
||||
|
|
Ładowanie…
Reference in New Issue