Skip to content

prepare-release

prepare-release #218

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