pull/475/head
Artem Gavrilov 2024-07-17 18:35:17 +02:00
parent a10359bc35
commit c8f2dea0c1
1 changed files with 1 additions and 0 deletions

View File

@ -73,6 +73,7 @@ jobs:
make indent
- name: Check files are formatted and no source code changes
working-directory: contrib/pg_stat_monitor
run: |
git status
git diff --exit-code