release branch #739
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: release branch | |
| on: | |
| workflow_dispatch: | |
| schedule: | |
| - cron: '0 1 * * *' # try everyday | |
| jobs: | |
| make-release-branch: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| token: ${{ secrets.WORKFLOW_GITHUB_TOKEN }} | |
| - name: Set up git user | |
| run: | | |
| git config --local user.email "[email protected]" | |
| git config --local user.name "intellij-rust-bot" | |
| - name: Check date | |
| if: github.event_name == 'schedule' | |
| id: check-date | |
| run: echo "result=$(python scripts/check_release_branch_date.py)" >> $GITHUB_OUTPUT | |
| - name: Make release branch | |
| if: github.event_name != 'schedule' || fromJSON(steps.check-date.outputs.result).create_release_branch | |
| run: python scripts/make_release_branch.py | |
| - name: Create new milestone | |
| if: github.event_name != 'schedule' || fromJSON(steps.check-date.outputs.result).create_release_branch | |
| run: python scripts/make_next_milestone.py --token ${{ secrets.WORKFLOW_GITHUB_TOKEN }} |