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

exp fix for github action timeout #38

Closed
wants to merge 1 commit into from
Closed

Conversation

xquery
Copy link
Member

@xquery xquery commented Oct 10, 2023

No description provided.

@xquery xquery self-assigned this Oct 10, 2023
@xquery xquery force-pushed the fix-github-action-timeout branch 2 times, most recently from db6f887 to 1492aea Compare October 10, 2023 20:07
@jay
Copy link
Member

jay commented Oct 10, 2023

In what way does dialing back on Ubuntu help? Is this just a test to see how the CI responds?

@xquery
Copy link
Member Author

xquery commented Oct 10, 2023 via email

@xquery xquery closed this Oct 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants