Skip to content

lint tex code with lacheck#33

Merged
AaronRobson merged 1 commit into
masterfrom
lint-tex
Jun 21, 2026
Merged

lint tex code with lacheck#33
AaronRobson merged 1 commit into
masterfrom
lint-tex

Conversation

@AaronRobson

Copy link
Copy Markdown
Owner

Locally with 'make check' and in CI.

@AaronRobson AaronRobson self-assigned this Jun 21, 2026
Locally with 'make check' and in CI.
@AaronRobson AaronRobson merged commit d2a7e37 into master Jun 21, 2026
1 check passed
@AaronRobson AaronRobson deleted the lint-tex branch June 21, 2026 09:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant