3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-22 05:16:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Run checking scripts directly

Browse Source
This commit is contained in:
Martin Hořeňovský 2020-11-10 15:25:52 +01:00
parent 447b39cae0
commit 0fa133a0c5
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/validate-header-guards.yml vendored
View File

@ -29,8 +29,8 @@ jobs:
- name: Check that there are no duplicated filenames
run: |
python tools/scripts/checkDuplicateFilenames.py
./tools/scripts/checkDuplicateFilenames.py
- name: Check that all source files have the correct license header
run: |
python tools/scripts/checkLicense.py
./tools/scripts/checkLicense.py