| release-notes.yml (6c0547c13c247bdde6a98c83a2e6dce03b2665bf) | release-notes.yml (0adbbf50dce0fd0a32cc04fdb6b3829bb2cdb133) |
|---|---|
| 1name: Release Notes 2 3on: 4 push: 5 branches-ignore: 6 - main 7 8jobs: 9 test: 10 strategy: 11 matrix: 12 os: [ubuntu-22.04] 13 14 runs-on: ${{ matrix.os }} 15 16 steps: 17 - name: Environment setup | 1name: Release Notes 2 3on: 4 push: 5 branches-ignore: 6 - main 7 8jobs: 9 test: 10 strategy: 11 matrix: 12 os: [ubuntu-22.04] 13 14 runs-on: ${{ matrix.os }} 15 16 steps: 17 - name: Environment setup |
| 18 uses: actions/checkout@v2 | 18 uses: actions/checkout@v3 |
| 19 - name: Check release notes 20 run: | 21 git fetch origin main 22 if git diff origin/main --exit-code include/ceed/*; then 23 echo "No public interface changes detected" 24 elif git diff origin/main --exit-code doc/sphinx/source/releasenotes.rst; then 25 echo "API changes detected, but release notes not updated" 26 exit 1 27 fi | 19 - name: Check release notes 20 run: | 21 git fetch origin main 22 if git diff origin/main --exit-code include/ceed/*; then 23 echo "No public interface changes detected" 24 elif git diff origin/main --exit-code doc/sphinx/source/releasenotes.rst; then 25 echo "API changes detected, but release notes not updated" 26 exit 1 27 fi |