Skip to content

Basic CI - #21

Merged
redshiftzero merged 13 commits into
lockdown-systems:mainfrom
otherJL0:gh-action-ci
Jul 15, 2025
Merged

Basic CI#21
redshiftzero merged 13 commits into
lockdown-systems:mainfrom
otherJL0:gh-action-ci

Conversation

@otherJL0

Copy link
Copy Markdown
Collaborator

Fixes #20

This PR adds ruff and mypy checks to both the Github actions CI workflow and to pre-commit for local development.

@otherJL0 otherJL0 mentioned this pull request Jul 15, 2025

@redshiftzero redshiftzero left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thank you!

@redshiftzero
redshiftzero merged commit 0afd8fd into lockdown-systems:main Jul 15, 2025
1 check passed
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.

add linting to CI

2 participants