Skip to content

fix: notify users when wrong coqpit package is installed #300

fix: notify users when wrong coqpit package is installed

fix: notify users when wrong coqpit package is installed #300

Workflow file for this run

name: style-check
on:
push:
branches:
- main
pull_request:
types: [opened, synchronize, reopened]
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Setup uv
uses: ./.github/actions/setup-uv
- name: Lint check
run: make lint