Skip to content

CI: CI / Web and docs fails more in last 2 days #44754

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
Closed
Dr-Irv opened this issue Dec 4, 2021 · 2 comments
Closed

CI: CI / Web and docs fails more in last 2 days #44754

Dr-Irv opened this issue Dec 4, 2021 · 2 comments
Labels
CI Continuous Integration Closing Candidate May be closeable, needs more eyeballs Docs

Comments

@Dr-Irv
Copy link
Contributor

Dr-Irv commented Dec 4, 2021

Looking at recent PR's, for the "CI / Web and docs (pull_request)" fail, but a couple days ago, things were working, independent of whether any doc changes were made

Example fails:

Example successes:
@Dr-Irv Dr-Irv mentioned this issue Dec 4, 2021
Merged
2 tasks
@rhshadrach
Copy link
Member

Should be resolved now by #44756

@rhshadrach rhshadrach added CI Continuous Integration Docs labels Dec 5, 2021
@phofl phofl added the Closing Candidate May be closeable, needs more eyeballs label Dec 5, 2021
@mroeschke
Copy link
Member

Closing as fixed by #44756

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
CI Continuous Integration Closing Candidate May be closeable, needs more eyeballs Docs
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@mroeschke @Dr-Irv @rhshadrach @phofl