FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

test CI failure by oscarbenjamin · Pull Request #114 · flintlib/python-flint · GitHub

Repository navigation

test CI failure - #114

Closed
oscarbenjamin wants to merge 1 commit into
flintlib:masterfrom
oscarbenjamin:pr_test
Closed

oscarbenjamin wants to merge 1 commit into
flintlib:masterfrom
oscarbenjamin:pr_test

Conversation

Copy link
Copy Markdown
Collaborator

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

Copy link
Copy Markdown
Collaborator Author

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

oscarbenjamin deleted the pr_test branch February 1, 2024 22:17
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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.

1 participant


Back | FazBrowse Home | New Git URL