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