-
Notifications
You must be signed in to change notification settings - Fork 0
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
labelled outputs #121
labelled outputs #121
Conversation
@volodymyrss I guess this secret needs to be updated ? |
Probably, but I dont remember why it tries to publish before merge. Could you check that it does not change prod site in PR? |
The prod site is not affected by this PR, is that what you asked? |
I mean that the job that fails, the one you mentioned, is because it can not publish production documentation site, right? It should not attempt to do it before the merge. |
Looking at the workflow file, I don't see any distinction between PR and merge to master. It publishes in both cases. |
Indeed, perhaps the publishing part should be moved to a separate workflow that is triggered only when merging on |
at the end of lines 149-151, there a full stop (.) at the end of each line, Is it relevant? If not, I suggest to remove otherwise it should be explained. |
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.
See my comment on the point at the end of code lines 149-151 to be removed or explained.
It is not really, the execution works with and without ... but I will remove it for consistency |
No description provided.