Skip to content

chore: add various CI checks - #8

Merged
jdstrand merged 7 commits into
mainfrom
jdstrand/add-ci-linters
Nov 12, 2025
Merged

jdstrand merged 7 commits into
mainfrom
jdstrand/add-ci-linters

Conversation

@jdstrand

@jdstrand jdstrand commented Nov 12, 2025 •

Copy link
Copy Markdown
Owner

Helps with #1

@jdstrand
jdstrand force-pushed the jdstrand/add-ci-linters branch from 59d92ad to 15d0c01 Compare November 12, 2025 14:06
@jdstrand
jdstrand force-pushed the jdstrand/add-ci-linters branch from e3adb01 to a668f09 Compare November 12, 2025 14:16
@jdstrand jdstrand changed the title chore: add 'lints' CI check chore: add various CI checks Nov 12, 2025
@jdstrand
jdstrand force-pushed the jdstrand/add-ci-linters branch from ece4ea6 to ce10b9b Compare November 12, 2025 14:27
@jdstrand
jdstrand force-pushed the jdstrand/add-ci-linters branch from ce10b9b to 3d0dfdd Compare November 12, 2025 14:34
@jdstrand
jdstrand merged commit e1ef6f3 into main Nov 12, 2025
11 checks passed
@jdstrand
jdstrand deleted the jdstrand/add-ci-linters branch November 12, 2025 14:34
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