-
Notifications
You must be signed in to change notification settings - Fork 54
Usage generation fixes #1090
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
Usage generation fixes #1090
Conversation
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 |
There was a problem hiding this comment.
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?
There was a problem hiding this comment.
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.
|
Build succeeded. ✔️ pre-commit SUCCESS in 1m 03s |
majamassarini
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
|
Build succeeded (gate pipeline). ✔️ pre-commit SUCCESS in 1m 04s |
|
Pull request merge failed: Resource not accessible by integration, You may need to manually rebase your PR and retry. |
No description provided.