DOI found for unpublished results #401
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: arXiv to publications correct | |
| on: | |
| issues: | |
| types: [labeled] | |
| jobs: | |
| pull_request: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Look for bibtex entries that now have a DOI | |
| if: github.event.label.name == 'food for arxivbot' | |
| run: | | |
| cd bin | |
| python3 -m pip install --user --upgrade pip | |
| python3 -m pip install --user setuptools | |
| python3 -m pip install --user bibtexparser | |
| python3 arxiv_to_publications_correct.py -b "${{ github.event.issue.body }}" > comment.out 2>&1 | |
| { | |
| echo 'COMMENT<<GITHUB_OUTPUT_DELIMITER' | |
| cat comment.out | |
| echo 'GITHUB_OUTPUT_DELIMITER' | |
| } >> "$GITHUB_OUTPUT" | |
| rm -rf comment.out | |
| id: updater | |
| - name: Create Pull Request | |
| if: github.event.label.name == 'food for arxivbot' | |
| uses: peter-evans/create-pull-request@v7 | |
| with: | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| commit-message: updated pint.bib using arxivbot | |
| title: pint.bib updates | |
| body: 'This is an auto-generated PR with reference updates. This closes #${{ github.event.issue.number }}.' | |
| branch: bibtex-arxivbot-${{ github.event.issue.number }} | |
| branch-suffix: short-commit-hash | |
| - name: Add comment to issue | |
| if: github.event.label.name == 'food for arxivbot' && steps.updater.outputs.COMMENT != '' | |
| uses: actions/github-script@v7 | |
| env: | |
| COMMENT: ${{ steps.updater.outputs.COMMENT }} | |
| with: | |
| github-token: ${{secrets.GITHUB_TOKEN}} | |
| script: | | |
| github.rest.issues.createComment({...context.repo, issue_number: context.issue.number, body: process.env.COMMENT}) |