Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 10 additions & 5 deletions .github/workflows/release-branch.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,10 @@ on:
branches:
- main
- release/**
# This .github organization is a special case for the release branch
# We want to cut releases when github reusable/shared workflows change.
# So we should not skip .github/** paths
paths-ignore:
- '.github/**'
- 'docs/**'
- 'examples/**'
- 'test/**'
Expand All @@ -16,7 +18,6 @@ permissions:
contents: write
id-token: write


concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: false
Expand Down Expand Up @@ -83,9 +84,13 @@ jobs:
run: |
git diff --exit-code && success="true" || success="false"
if [ "$success" = "false" ]; then
echo "README.md is outdated. Please run the following commands locally and push the file:"
echo " make init"
echo " make readme"
echo "> [!CAUTION]" >> $GITHUB_STEP_SUMMARY
echo "> ## README.md is outdated." >> $GITHUB_STEP_SUMMARY
echo "> Please run the following commands locally and push the file:" >> $GITHUB_STEP_SUMMARY
echo '> ```shell' >> $GITHUB_STEP_SUMMARY
echo '> make init' >> $GITHUB_STEP_SUMMARY
echo '> make readme' >> $GITHUB_STEP_SUMMARY
echo '> ```' >> $GITHUB_STEP_SUMMARY
exit 1
fi

Expand Down