mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-22 21:36:11 +01:00
Better names for misc-checks workflow steps
This commit is contained in:
parent
851a0e907e
commit
447b39cae0
11
.github/workflows/validate-header-guards.yml
vendored
11
.github/workflows/validate-header-guards.yml
vendored
@ -1,7 +1,5 @@
|
|||||||
name: Check header guards
|
name: Check header guards
|
||||||
|
|
||||||
# Run this workflow every time a new commit pushed to your repository
|
|
||||||
|
|
||||||
on: [push, pull_request]
|
on: [push, pull_request]
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
@ -20,8 +18,7 @@ jobs:
|
|||||||
- name: Install checkguard
|
- name: Install checkguard
|
||||||
run: pip install guardonce
|
run: pip install guardonce
|
||||||
|
|
||||||
# Check include guard naming convention
|
- name: Check that include guards are properly named
|
||||||
- name: checkguard
|
|
||||||
run: |
|
run: |
|
||||||
wrong_files=$(checkguard -r src/catch2/ -p "name | append _INCLUDED | upper")
|
wrong_files=$(checkguard -r src/catch2/ -p "name | append _INCLUDED | upper")
|
||||||
if [[ $wrong_files ]]; then
|
if [[ $wrong_files ]]; then
|
||||||
@ -30,10 +27,10 @@ jobs:
|
|||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# Check duplicate files for include guard conflicts
|
- name: Check that there are no duplicated filenames
|
||||||
- name: checknames
|
|
||||||
run: |
|
run: |
|
||||||
python tools/scripts/checkDuplicateFilenames.py
|
python tools/scripts/checkDuplicateFilenames.py
|
||||||
- name: checklicense
|
|
||||||
|
- name: Check that all source files have the correct license header
|
||||||
run: |
|
run: |
|
||||||
python tools/scripts/checkLicense.py
|
python tools/scripts/checkLicense.py
|
||||||
|
Loading…
Reference in New Issue
Block a user