Skip to content

Sync Poetry files: kframework 7.1.177 #12

Sync Poetry files: kframework 7.1.177

Sync Poetry files: kframework 7.1.177 #12

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