Bump pitest-github-maven-plugin from 0.1.0 to 0.1.3
@@ -42,4 +42,4 @@ jobs:
# The updatePR maven goal is used here with an explicit version. This allows us to upload without checking out
# the code, but does mean the version here must be maintained. An alternative would be to checkout the code and use
# the github goal. This will work as long as the artifact is extracted to the maven target directory
- run: mvn -DrepoToken=${{ secrets.GITHUB_TOKEN }} com.groupcdg:pitest-github-maven-plugin:0.1.0:updatePR
+ run: mvn -DrepoToken=${{ secrets.GITHUB_TOKEN }} com.groupcdg:pitest-github-maven-plugin:0.1.3:updatePR
