Skip to content

Add types to counterexamples #610

Add types to counterexamples

Add types to counterexamples #610

Workflow file for this run

name: CodeSpell
on:
- pull_request
jobs:
codespell:
name: CodeSpell
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: CodeSpell
uses: codespell-project/actions-codespell@master
with:
check_filenames: true
check_hidden: true
ignore_words_file: .codespellignore
exclude_file: lib/lrama/parser.rb