blob: 7e50dec82f5454f80da0ec417ebc185d336d1877 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
name: Doxygen Check
description: Checks for Doxygen warnings
inputs:
logfile:
description: Path to doxygen logfile
required: true
runs:
using: composite
steps:
- id: check
run: |
if [[ "$(grep -c warning: ${{ inputs.logfile }})" != 0 ]]; then
echo
echo Doxygen warnings found:
grep warning ${{ inputs.logfile }}
echo
exit 1
fi
python ./doxy-coverage/doxy-coverage.py builddir/doc/html/xml/
shell: bash
|
