From b4bcf71a8b860bd9ae58a455d12863d8f8852b02 Mon Sep 17 00:00:00 2001 From: Jakub Chrzanowski Date: Wed, 16 Aug 2023 16:50:02 +0200 Subject: [PATCH] GitHub Actions: Fixed GitHub ref resolving for "Check API Changes pages" workflow --- .github/workflows/verify-api-changes-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/verify-api-changes-pages.yml b/.github/workflows/verify-api-changes-pages.yml index fa9cf8f51..00f9ea5c3 100644 --- a/.github/workflows/verify-api-changes-pages.yml +++ b/.github/workflows/verify-api-changes-pages.yml @@ -29,4 +29,4 @@ jobs: PR_REPOSITORY=$(jq -re ".pull_request.head.repo.full_name // empty" $GITHUB_EVENT_PATH) || true REPOSITORY=${PR_REPOSITORY:-$GITHUB_REPOSITORY} REF=${GITHUB_HEAD_REF:-${GITHUB_REF#*/*/}} - java -cp ~/verifier-all.jar com.jetbrains.pluginverifier.filtering.documented.DocumentedProblemsPageVerifierMain $REPOSITORY REF + java -cp ~/verifier-all.jar com.jetbrains.pluginverifier.filtering.documented.DocumentedProblemsPageVerifierMain $REPOSITORY $REF