Skip to content

day24: part2 using z3 #34

day24: part2 using z3

day24: part2 using z3 #34

Workflow file for this run

name: lint
on:
push:
branches:
- main # Change this to your main branch name if it's different
jobs:
pre-commit:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v3
with:
python-version: 3.11 # Specify the Python version you need
cache: 'pip'
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install -r requirements.txt
- uses: actions/cache@v3
with:
path: ~/.cache/pre-commit/
key: pre-commit-4|${{ env.pythonLocation }}|${{ hashFiles('.pre-commit-config.yaml') }}
- name: Run pre-commit on all files
run: pre-commit run --show-diff-on-failure --color=always --all-files