ConfigSpace Technology Integration for Enhanced GAMA Configuration and Management 🥇 #33
Workflow file for this run
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
name: Changelog | |
on: | |
pull_request: | |
branches: | |
- master | |
- main | |
jobs: | |
check-and-comment: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
- name: Check Releases.rst Updated | |
run: | | |
git fetch origin master:master | |
updated_files=$(git diff master -- docs/source/releases.rst) | |
if [[ -z $updated_files ]] | |
then | |
exit 1 | |
fi | |
- name: Thank you comment | |
uses: thollander/actions-comment-pull-request@v1 | |
with: | |
comment_includes: "changelog" | |
message: | | |
Thank you for the pull request! :pray: | |
If CI reports any errors please address them. | |
If you believe the errors are unrelated to your PR, please state why. | |
This will make it easier for the maintainers to assess your PR :) | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
- name: Comment PR | |
if: ${{ failure() }} | |
uses: thollander/actions-comment-pull-request@v1 | |
with: | |
comment_includes: "changelog" # To avoid creating additional comments | |
message: | | |
Please include the change for this PR in the changelog (`docs/source/releases.rst`). | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |