1name: Release Notes 2 3on: 4 push: 5 branches-ignore: 6 - main 7 8jobs: 9 test: 10 strategy: 11 matrix: 12 os: [ubuntu-20.04] 13 14 runs-on: ${{ matrix.os }} 15 16 steps: 17 - name: Environment setup 18 uses: actions/checkout@v2 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 28