| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
Sorry, something went wrong.
| jobs: | ||
| library_generation: | ||
| # skip pull requests coming from a forked repository | ||
| if: github.env.REPO_FULL_NAME == github.repository |
There was a problem hiding this comment.
@blakeli0 inlining the org/repo as an env var seems to break this if statement
Sorry, something went wrong.
There was a problem hiding this comment.
Probably because REPO_FULL_NAME is not referenced as a variable like $REPO_FULL_NAME?
Sorry, something went wrong.
There was a problem hiding this comment.
@PhongChuong Can we update the title to be a feat since the generated changes are also part of the PR?
Sorry, something went wrong.
|
Merge-on-green attempted to merge your PR for 6 hours, but it was not mergeable because either one of your required status checks failed, one of your required reviews was not approved, or there is a do not merge label. Learn more about your required status checks here: https://help.github.com/en/github/administering-a-repository/enabling-required-status-checks. You can remove and reapply the label to re-run the bot. |
Sorry, something went wrong.
|
Warning: This pull request is touching the following templated files:
|
Sorry, something went wrong.
| Back | FazBrowse Home | New Git URL |
Thank you for opening a Pull Request! Before submitting your PR, there are a few things you can do to make sure it goes smoothly: