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.

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

Bump timeout for doc job #538

Merged
merged 1 commit into from
Jul 20, 2023
Merged

Bump timeout for doc job #538

merged 1 commit into from
Jul 20, 2023

Conversation

citizen-stig
Copy link
Member

So it won't fail that often

@citizen-stig citizen-stig requested a review from neysofu July 20, 2023 14:48
neysofu
neysofu reviewed Jul 20, 2023
View reviewed changes
Copy link
Member

@neysofu neysofu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What are the changes to Cargo.lock from?

@citizen-stig
Copy link
Member Author

They are from risc0 update, I compuled while project.

@codecov
Copy link

codecov bot commented Jul 20, 2023

Codecov Report

Merging #538 (c4bebe0) into nightly (d18081e) will increase coverage by 0.0%.
The diff coverage is n/a.

see 1 file with indirect coverage changes

@citizen-stig citizen-stig merged commit 39a617f into nightly Jul 20, 2023
@citizen-stig citizen-stig deleted the ci/bump_doc_artifact_timeout branch July 20, 2023 15:09
preston-evans98 pushed a commit that referenced this pull request Sep 14, 2023
@citizen-stig @preston-evans98
Bump timeout for doc job (#538)
e1406e6
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@neysofu neysofu neysofu approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@citizen-stig @neysofu