Skip to content

Merge pull request #20077 from d10c/d10c/diff-informed-phase-3-java #637

Merge pull request #20077 from d10c/d10c/diff-informed-phase-3-java

Merge pull request #20077 from d10c/d10c/diff-informed-phase-3-java #637

name: Check overlay annotations
on:
push:
branches:
- main
- 'rc/*'
pull_request:
branches:
- main
- 'rc/*'
permissions:
contents: read
jobs:
sync:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Check overlay annotations
run: python config/add-overlay-annotations.py --check java