8000 Merge pull request #19544 from Napalys/js/quality/stream_pipe · github/codeql@5419285 · GitHub
[go: up one dir, main page]

Skip to content

Merge pull request #19544 from Napalys/js/quality/stream_pipe #43157

Merge pull request #19544 from Napalys/js/quality/stream_pipe

Merge pull request #19544 from Napalys/js/quality/stream_pipe #43157

Workflow file for this run

name: Check synchronized files
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 synchronized files
run: python config/sync-files.py
- name: Check dbscheme fragments
run: python config/sync-dbscheme-fragments.py
0