pass pr on command line

This commit is contained in:
Phred 2021-10-06 07:04:39 -05:00
parent da4ef53a54
commit b6dfb0d922
No known key found for this signature in database
GPG key ID: 8103F27168DAA2A0

View file

@ -43,7 +43,7 @@ jobs:
- run: mvn test -B # -T 1C
- env:
CI_BRANCH: ${{ github.ref }}
# CI_BRANCH: ${{ github.ref }}
CI_NAME: github-actions
# CI_PULL_REQUEST: ${{ github.event.number }}
run: >
@ -54,3 +54,4 @@ jobs:
coveralls:report
--define jacoco.skip=false
--define repoToken=${{ secrets.GITHUB_TOKEN }}
--define pullRequest=${{ github.event.number }}