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.

Sign up for GitHub

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

Jump to bottom

test CI failure #114

Closed

oscarbenjamin wants to merge 1 commit into flintlib:master from oscarbenjamin:pr_test

Collaborator

oscarbenjamin commented Feb 1, 2024

CI failed in gh-113 and I just want to check if a do nothing PR passes CI...


          test

63fbcd8

Collaborator Author

oscarbenjamin commented Feb 1, 2024

Okay it fails in the same way so the problem is not due to the changes in gh-113.

oscarbenjamin closed this

oscarbenjamin deleted the pr_test branch

February 1, 2024 22:17

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet