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 #17

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

Add CI #17

wants to merge 2 commits into from

Conversation

mathomp4
Copy link
Collaborator

This is my attempt at adding some CI here.

@mathomp4 mathomp4 added the enhancement New feature or request label Jul 25, 2024
@mathomp4 mathomp4 self-assigned this Jul 25, 2024
@mathomp4
Copy link
Collaborator Author

Huh. Welp, probably need some @tclune help with this. I'm failing the basic test, so I probably have something wrong. 😄

@tclune
Copy link
Member

tclune commented Jul 25, 2024

Even with CI the situation for this repo is a bit precarious. It can break if pFUnit changes, but even that would not trigger the CI.

Looking forward to the details of the failure.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants