Skip to content

Dependency(deps): Bump org.apache.maven.plugins:maven-javadoc-plugin from 3.11.1 to 3.11.2 #330

Dependency(deps): Bump org.apache.maven.plugins:maven-javadoc-plugin from 3.11.1 to 3.11.2

Dependency(deps): Bump org.apache.maven.plugins:maven-javadoc-plugin from 3.11.1 to 3.11.2 #330

Workflow file for this run

name: Close linked issue on PR merge
on:
pull_request:
types:
- closed
jobs:
close_issues:
if: github.event.pull_request.merged == true && github.base_ref == 'develop'
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/checkout@v4
- name: Run script
working-directory: .github/workflows/scripts
run: |
pip install requests
python closeDevIssues.py ${{ secrets.GITHUB_TOKEN }} jplag JPlag ${{ github.event.pull_request.number }}