Skip to content

This PR adds support for CHC solving via dedicated CHC solvers (including Z3) #565

This PR adds support for CHC solving via dedicated CHC solvers (including Z3)

This PR adds support for CHC solving via dedicated CHC solvers (including Z3) #565

Workflow file for this run

name: Check version
on:
pull_request:
types: [opened, synchronize, reopened]
concurrency:
group: version-${{ github.head_ref }}
cancel-in-progress: true
jobs:
check-version:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
- name: New version
id: new_version
run: |
echo version=$(./gradlew properties --no-daemon --console=plain -q | grep "^version:" | awk '{printf $2}') >> $GITHUB_OUTPUT
- name: Checkout repository
uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
with:
ref: master
- name: Master version
id: master_version
run: |
echo version=$(./gradlew properties --no-daemon --console=plain -q | grep "^version:" | awk '{printf $2}') >> $GITHUB_OUTPUT
- name: version is correct
if: ${{ steps.new_version.outputs.version != steps.master_version.outputs.version }}
run: echo "New version ${{ steps.new_version.outputs.version }} is OK"
- name: version is inccorrect
if: ${{ steps.new_version.outputs.version == steps.master_version.outputs.version }}
run: |
echo "New version ${{ steps.new_version.outputs.version }} is NOT OK"
exit 1