Skip to content

Update z3-solver requirement from <=4.13.0.0,>=4.8.8.0 to >=4.8.8.0,<=4.13.2.0 #54

Update z3-solver requirement from <=4.13.0.0,>=4.8.8.0 to >=4.8.8.0,<=4.13.2.0

Update z3-solver requirement from <=4.13.0.0,>=4.8.8.0 to >=4.8.8.0,<=4.13.2.0 #54

Workflow file for this run

on:
push:
branches:
- master
- develop
tags:
- '*'
pull_request:
name: pre-commit
concurrency:
# Concurrency group that uses the workflow name and PR number if available
# or commit SHA as a fallback. If a new build is triggered under that
# concurrency group while a previous build is running it will be canceled.
# Repeated pushes to a PR will cancel all previous builds, while multiple
# merges to a branch will not cancel.
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
cancel-in-progress: true
jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: '3.9'
- uses: pre-commit/action@v3.0.1