GitHub Actions: Fixed GitHub ref resolving for "Check API Changes pages" workflow

This commit is contained in:
Jakub Chrzanowski 2023-08-16 16:50:02 +02:00
parent 6c235569f6
commit b4bcf71a8b
No known key found for this signature in database
GPG Key ID: C39095BFD769862E

View File

@ -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