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

Merged
merged 1 commit into from
Jul 5, 2024
Merged

Add CI #1

merged 1 commit into from
Jul 5, 2024

Conversation

petergoldstein
Copy link

No description provided.

@petergoldstein
Copy link
Author

@alexdredmon I wanted to get some CI in place. I'm not sure if you'd be open to running it on your repo - we can probably figure out a way to cover the GitHub actions costs. If not, I can run it on octo-source.

@petergoldstein petergoldstein force-pushed the feature/add_github_ci branch from 1db6452 to 9f20deb Compare July 5, 2024 15:47
@alexdredmon
Copy link

@petergoldstein for sure - this was on my to-do list, thank you! Opened and merged alexdredmon#20 from this ☝️

@petergoldstein petergoldstein merged commit 5dff062 into main Jul 5, 2024
1 check passed
@petergoldstein petergoldstein deleted the feature/add_github_ci branch July 5, 2024 18:22
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