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

ci: add missing permissions for docs action #807

Merged
merged 1 commit into from
Sep 26, 2023

Conversation

mfocko
Copy link
Member

@mfocko mfocko commented Sep 24, 2023

No description provided.

@softwarefactory-project-zuul
Copy link
Contributor

Build failed.
https://softwarefactory-project.io/zuul/t/packit-service/buildset/d40658731a834f3ab76bcecce09c4487

pre-commit NODE_FAILURE Node request 200-0006422406 failed in 0s
ogr-tests-rpm NODE_FAILURE Node request 200-0006422407 failed in 0s
ogr-tests-pip-deps NODE_FAILURE Node request 200-0006422408 failed in 0s
ogr-reverse-dep-packit-tests NODE_FAILURE Node request 200-0006422409 failed in 0s

@mfocko
Copy link
Member Author

mfocko commented Sep 26, 2023

recheck

@mfocko mfocko added the mergeit When set, zuul wil gate and merge the PR. label Sep 26, 2023
@mfocko mfocko self-assigned this Sep 26, 2023
@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded.
https://softwarefactory-project.io/zuul/t/packit-service/buildset/5105e99f93da41ef856e69e3e54355ea

✔️ pre-commit SUCCESS in 1m 46s
✔️ ogr-tests-rpm SUCCESS in 10m 37s
✔️ ogr-tests-pip-deps SUCCESS in 10m 48s
✔️ ogr-reverse-dep-packit-tests SUCCESS in 16m 51s

@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded (gate pipeline).
https://softwarefactory-project.io/zuul/t/packit-service/buildset/3637883b4a94490fa9960f29a620a18b

✔️ pre-commit SUCCESS in 1m 39s

@softwarefactory-project-zuul
Copy link
Contributor

Pull request merge failed: Resource not accessible by integration, You may need to manually rebase your PR and retry.

@mfocko mfocko merged commit b6666b1 into packit:main Sep 26, 2023
24 checks passed
@mfocko mfocko deleted the fix-docs-build branch September 26, 2023 13:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
mergeit When set, zuul wil gate and merge the PR.
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants