Skip to content

Refactor package, file context and ProofFile execution #71

Refactor package, file context and ProofFile execution

Refactor package, file context and ProofFile execution #71

Workflow file for this run

name: Lint
on:
push:
branches:
- master
pull_request:
jobs:
lint:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3.5.2
- name: Run linter
uses: psf/black@stable
with:
options: "--check --verbose"
version: "23.3.0"