prepare-release #218
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: prepare-release | |
| on: | |
| workflow_dispatch: | |
| # Allows manually triggering release via | |
| # https://github.com/informalsystems/apalache/actions?query=workflow%3A%22Prepare+Release%22 | |
| inputs: | |
| release_version: | |
| description: "Version (leave empty to increment patch version)" | |
| required: false | |
| default: "" | |
| schedule: | |
| # * is a special character in YAML so you have to quote this string | |
| # Automatically prepare a minor version release every Monday | |
| # See https://crontab.guru/#0_0_*_*_1 | |
| - cron: "0 0 * * 1" | |
| jobs: | |
| prepare-release: | |
| if: github.repository_owner == 'informalsystems' | |
| env: | |
| RELEASE_VERSION: ${{ github.event.inputs.release_version }} | |
| # NOTE: We must not use the default GITHUB_TOKEN for auth here, | |
| # or else CI won't run on the resulting PR. | |
| # See https://github.com/peter-evans/create-pull-request/blob/master/docs/concepts-guidelines.md#workarounds-to-trigger-further-workflow-runs | |
| GITHUB_TOKEN: ${{ secrets.APALACHE_BOT_TOKEN }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - uses: actions/setup-java@v1 | |
| with: | |
| java-version: 17 | |
| - name: Configure Git | |
| run: | | |
| git config --global user.name "$GITHUB_ACTOR" | |
| git config --global user.email "[email protected]" | |
| - name: Prepare release | |
| run: | | |
| ./script/release-prepare.sh |