Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add ci #1

Closed
wants to merge 4 commits into from
Closed

Add ci #1

wants to merge 4 commits into from

Conversation

JimTheCactus
Copy link
Collaborator

This adds a CI job. Any thoughts about optimization or quality I'm all ears for since I'm unfamiliar with GH Actions. This follows the shape of many of the things we currently have.

@tgamber-stateless
Copy link

To my (admittedly also fairly unfamiliar with github actions) eyes, this looks like the way to achieve what we want. Thanks for catching the needed the lint and fmt scripts, knew I was missing something in previous commits.

@JimTheCactus JimTheCactus marked this pull request as ready for review October 2, 2024 22:09
@JimTheCactus
Copy link
Collaborator Author

So fun thing I just learned. You cannot change which repo a PR targets, only the branch. Closing this to open the one against the main repo.

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.

2 participants