mirror of
https://github.com/The-OpenROAD-Project/OpenROAD.git
synced 2026-06-02 01:08:34 +08:00
05abe0f093
On a self-hosted runner the workspace is reused and the submodules may be present. This check should not check submodules. Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
19 lines
456 B
YAML
19 lines
456 B
YAML
name: Check that OK files are up to date
|
|
|
|
on:
|
|
pull_request:
|
|
|
|
jobs:
|
|
No-Diffs-In-Ok-Files:
|
|
runs-on: ${{ vars.USE_SELF_HOSTED == 'true' && 'self-hosted' || 'ubuntu-latest' }}
|
|
steps:
|
|
- name: Check out repository code
|
|
uses: actions/checkout@v6
|
|
with:
|
|
fetch-depth: 0
|
|
- name: Check ok files
|
|
run: |
|
|
if git ls-files '*.ok' | xargs grep -n "Differences found "; then
|
|
exit 1
|
|
fi
|