mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-26 23:36:11 +01:00
88504e5332
Using `ubuntu-latest` is triggering warning that it will soon migrate from 18.04 to 20.04, so I am migrating preventively.
37 lines
976 B
YAML
37 lines
976 B
YAML
name: Check header guards
|
|
|
|
on: [push, pull_request]
|
|
|
|
jobs:
|
|
build:
|
|
# Set the type of machine to run on
|
|
runs-on: ubuntu-20.04
|
|
steps:
|
|
|
|
- name: Checkout source code
|
|
uses: actions/checkout@v2
|
|
|
|
- name: Setup Dependencies
|
|
uses: actions/setup-python@v2
|
|
with:
|
|
python-version: '3.7'
|
|
- name: Install checkguard
|
|
run: pip install guardonce
|
|
|
|
- name: Check that include guards are properly named
|
|
run: |
|
|
wrong_files=$(checkguard -r src/catch2/ -p "name | append _INCLUDED | upper")
|
|
if [[ $wrong_files ]]; then
|
|
echo "Files with wrong header guard:"
|
|
echo $wrong_files
|
|
exit 1
|
|
fi
|
|
|
|
- name: Check that there are no duplicated filenames
|
|
run: |
|
|
./tools/scripts/checkDuplicateFilenames.py
|
|
|
|
- name: Check that all source files have the correct license header
|
|
run: |
|
|
./tools/scripts/checkLicense.py
|