Skip to content

[ fix ] Address some proofs of void via impossible from issues #2250 … #6569

[ fix ] Address some proofs of void via impossible from issues #2250 …

[ fix ] Address some proofs of void via impossible from issues #2250 … #6569

Workflow file for this run

name: Lint the sources
on:
push:
branches:
- '*'
tags:
- '*'
pull_request:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Lint the sources
run: python3 lint/lint.py
shell: bash