Skip to content

[PR] Added pre-commit to GitHub Actions#14

Merged
Kaszanas merged 2 commits intodevfrom
9-initial-ci
Mar 11, 2025
Merged

[PR] Added pre-commit to GitHub Actions#14
Kaszanas merged 2 commits intodevfrom
9-initial-ci

Conversation

@Kaszanas
Copy link
Copy Markdown
Owner

As the title suggests, the makefile target will build a development container and run pre-commit from within.

@Kaszanas Kaszanas linked an issue Mar 11, 2025 that may be closed by this pull request
@Kaszanas Kaszanas merged commit 6a9c958 into dev Mar 11, 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 Initial CI

1 participant