Disable Doxygen/Github Pages action trigger on pull requests #171
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
munkm
reviewed
Oct 18, 2021
|
As we've discussed during our meeting, I agree that we should have a check on PRs to ensure files can be built. I've created issue #176 to introduce that feature. Can we merge this change first? |
|
Thank you! |
github-actions bot
pushed a commit
that referenced
this pull request
Oct 18, 2021
Disable Doxygen/Github Pages action trigger on pull requests c3ee875
github-actions bot
pushed a commit
to yardasol/moltres
that referenced
this pull request
Oct 25, 2021
Disable Doxygen/Github Pages action trigger on pull requests c3ee875
github-actions bot
pushed a commit
to gwenchee/moltres
that referenced
this pull request
Oct 29, 2021
Disable Doxygen/Github Pages action trigger on pull requests c3ee875
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The current Doxygen/Github Pages action, which updates gh-pages, triggers on both merges and pull request creations into
devel. We only need gh-pages to be updated when changes are merged intodevel, i.e. after PRs are approved.This PR makes the Doxygen/Github Pages action trigger only when commits are pushed into
devel, and not when PRs are created.