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