Skip to content

Usage generation fixes#1090

Merged
lbarcziova merged 3 commits intopackit:mainfrom
lbarcziova:usage-generation-fixes
Jan 20, 2026
Merged

Usage generation fixes#1090
lbarcziova merged 3 commits intopackit:mainfrom
lbarcziova:usage-generation-fixes

Conversation

@lbarcziova
Copy link
Copy Markdown
Member

No description provided.

Continue with deploying if the graphs generation fails.
This makes the CI on PR dependent on Packit's API.
- name: Import the nested docs
run: make import

- name: Generate newer usage graphs
Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

or if we want to use it for testing the script, we can make it react only for changes on files/generate_usage.py path, wdyt?

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

React to changes in the path can be helpful to catch errors earlier. But I am also fine with it like this. I expect we would catch the errors in the action were we really need this.

@centosinfra-prod-github-app
Copy link
Copy Markdown
Contributor

Copy link
Copy Markdown
Member

@majamassarini majamassarini left a comment

Choose a reason for hiding this comment

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

Thanks!

@lbarcziova lbarcziova added the mergeit Merge via Zuul label Jan 20, 2026
@centosinfra-prod-github-app
Copy link
Copy Markdown
Contributor

@centosinfra-prod-github-app
Copy link
Copy Markdown
Contributor

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

@lbarcziova lbarcziova merged commit 17bba63 into packit:main Jan 20, 2026
6 checks passed
@github-project-automation github-project-automation bot moved this from New to Done in Packit pull requests Jan 20, 2026
@lbarcziova lbarcziova deleted the usage-generation-fixes branch January 20, 2026 12:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

mergeit Merge via Zuul

Projects

Development

Successfully merging this pull request may close these issues.

3 participants