From b6087910306d879d973d9deb8bd823076ded0034 Mon Sep 17 00:00:00 2001 From: Johannes Marbach Date: Thu, 8 Aug 2024 11:31:42 +0200 Subject: [PATCH] Fix dots and warn --- .github/actions/lint-jsonschema/action.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/actions/lint-jsonschema/action.yml b/.github/actions/lint-jsonschema/action.yml index 53b914ad..e26fffa0 100644 --- a/.github/actions/lint-jsonschema/action.yml +++ b/.github/actions/lint-jsonschema/action.yml @@ -77,14 +77,14 @@ runs: if ! curl --head --silent --fail "$location" 2>&1 > /dev/null; then if ! curl --silent --fail "$location" 2>&1 > /dev/null; then # Some URLs are examples or the endpoints helpfully support neither OPTIONS nor HEAD - if [[ "$location" =~ *example* ]] || \ + if [[ "$location" =~ .*example.* ]] || \ [[ "$location" = https://idp-ref.app.ti-dienste.de/auth ]] || \ [[ "$location" = https://idp.app.ti-dienste.de/auth ]] || \ [[ "$location" = https://idp-ref.app.ti-dienste.de/token ]] || \ [[ "$location" = https://idp.app.ti-dienste.de/token ]] || \ [[ "$location" = https://idp-ref.app.ti-dienste.de ]]; then - warn "$file references non-verifiable location $location"warn + warn "$file references non-verifiable location $location" else err "$file references non-existent location $location" rc=1