Skip to content

Don't use robust "key not found" error when errors are suppressed #1976

Don't use robust "key not found" error when errors are suppressed

Don't use robust "key not found" error when errors are suppressed #1976

Workflow file for this run

name: Lint
on: [ push, pull_request ]
jobs:
codespell:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Install dependencies
shell: bash -l {0}
run: |
sudo apt-get install -y codespell
- name: Run codespell
shell: bash -l {0}
run: codespell --ignore-words=.codespell_ignore M2/Macaulay2/packages
env:
MAKEFLAGS: -j2