diff --git a/.explcheckrc b/.explcheckrc new file mode 100644 index 000000000..2576efdeb --- /dev/null +++ b/.explcheckrc @@ -0,0 +1,3 @@ +[options] +max_line_length = 72 +warnings_are_errors = true diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 4caa5e071..c0f37ba37 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -122,7 +122,7 @@ jobs: - name: Extract TeX files run: make base - name: Run explcheck - run: explcheck --warnings-are-errors --max-line-length=72 -- *.tex *.sty + run: explcheck *.tex *.sty markdownlint: name: Style check (Markdown) runs-on: ubuntu-latest