Update Supported Enterprise Server Versions #89
This file contains 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: Update Supported Enterprise Server Versions | |
| on: | |
| schedule: | |
| - cron: "0 0 * * *" | |
| workflow_dispatch: | |
| jobs: | |
| update-supported-enterprise-server-versions: | |
| name: Update Supported Enterprise Server Versions | |
| timeout-minutes: 45 | |
| runs-on: ubuntu-latest | |
| if: ${{ github.repository == 'github/codeql-action' }} | |
| steps: | |
| - name: Setup Python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: "3.7" | |
| - name: Checkout CodeQL Action | |
| uses: actions/checkout@v4 | |
| - name: Checkout Enterprise Releases | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: github/enterprise-releases | |
| ssh-key: ${{ secrets.ENTERPRISE_RELEASES_SSH_KEY }} | |
| path: ${{ github.workspace }}/enterprise-releases/ | |
| - name: Update Supported Enterprise Server Versions | |
| run: | | |
| cd ./.github/workflows/update-supported-enterprise-server-versions/ | |
| python3 -m pip install pipenv | |
| pipenv install | |
| pipenv run ./update.py | |
| rm --recursive "$ENTERPRISE_RELEASES_PATH" | |
| npm run build | |
| env: | |
| ENTERPRISE_RELEASES_PATH: ${{ github.workspace }}/enterprise-releases/ | |
| - name: Update git config | |
| run: | | |
| git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| git config --global user.name "github-actions[bot]" | |
| - name: Commit changes and open PR | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| run: | | |
| if [[ -z $(git status --porcelain) ]]; then | |
| echo "No changes to commit" | |
| else | |
| git checkout -b update-supported-enterprise-server-versions | |
| git add . | |
| git commit --message "Update supported GitHub Enterprise Server versions" | |
| git push origin update-supported-enterprise-server-versions | |
| body="This PR updates the list of supported GitHub Enterprise Server versions, either because a new " | |
| body+="version is about to be feature frozen, or because an old release has been deprecated." | |
| body+=$'\n\n' | |
| body+="If an old release has been deprecated, please follow the instructions in CONTRIBUTING.md to " | |
| body+="deprecate the corresponding version of CodeQL." | |
| gh pr create --draft \ | |
| --title "Update supported GitHub Enterprise Server versions" \ | |
| --body "$body" | |
| fi |