Update signature for custom_step
#26
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 Version' | |
on: | |
push: | |
branches: | |
- '_update-deps/runtimeverification/k' | |
workflow_dispatch: | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.ref }} | |
cancel-in-progress: true | |
jobs: | |
update-versions: | |
name: 'Update Dependency Versions' | |
runs-on: ubuntu-latest | |
steps: | |
- name: 'Check out code' | |
uses: actions/checkout@v4 | |
with: | |
token: ${{ secrets.JENKINS_GITHUB_PAT }} | |
- name: 'Configure GitHub user' | |
run: | | |
git config user.name devops | |
git config user.email devops@runtimeverification.com | |
- name: 'Install Poetry' | |
uses: Gr1N/setup-poetry@v9 | |
- name: 'Update kframework release tag' | |
run: | | |
K_VERSION=$(cat deps/k_release) | |
sed -i 's!kframework = "[0-9\.]*"!kframework = "'${K_VERSION}'"!' pyproject.toml | |
poetry update | |
git add pyproject.toml poetry.lock | |
git commit -m "Sync Poetry files: kframework ${K_VERSION}" || true | |
- name: 'Push updates' | |
run: git push |