release-notes.yml (89abb232790bc7aa20a3b705e49d23b84eb98b98) release-notes.yml (d83cf49fece5d7d5441d5b92eb712b904329a4d2)
1name: Release Notes
2
3on:
4 push:
5 branches-ignore:
6 - main
7 pull_request:
8
9jobs:
10 test:
11 strategy:
12 matrix:
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]
13 os: [ubuntu-24.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
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