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

Update !Help file for 0.2050r #3

Merged
merged 2 commits into from
Jul 28, 2023
Merged

Update !Help file for 0.2050r #3

merged 2 commits into from
Jul 28, 2023

Conversation

archifishaldev
Copy link
Collaborator

No description provided.

@archifishaldev archifishaldev requested a review from dpt as a code owner July 28, 2023 09:46
@dpt
Copy link
Owner

dpt commented Jul 28, 2023

Tests are getting wedged. Let's seek @gerph 's help later!

@gerph
Copy link
Collaborator

gerph commented Jul 28, 2023

Tests are getting wedged. Let's seek @gerph 's help later!

I've just seen notices from AWS that it the build server has had high load although I didn't see a "I'm rebooting" notice.

I'll have a look this evening when I get in. I did try rerunning in case it was just a transient thing.

@gerph
Copy link
Collaborator

gerph commented Jul 28, 2023

Hmmm it's timed out this time. I wonder if the build server just needs a bit more time to do it's building.

@gerph
Copy link
Collaborator

gerph commented Jul 28, 2023

Hmm looks like we are using the json interface. Could probably do with updating to use the robuild client that uses web sockets - won't time out at 10 mins and hopefully might be more interactive whilst it runs. Will have a look when I get home.

@gerph
Copy link
Collaborator

gerph commented Jul 28, 2023

I'm wondering if the pull request plus push build are the reason that it's failing - running both builds at once was overloading things?

@dpt dpt requested a review from gerph as a code owner July 28, 2023 18:21
@dpt dpt merged commit 533af89 into master Jul 28, 2023
1 check failed
@dpt dpt deleted the update-help-file branch July 28, 2023 19:06
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.

3 participants