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