File tree Expand file tree Collapse file tree 7 files changed +121
-60
lines changed Expand file tree Collapse file tree 7 files changed +121
-60
lines changed Original file line number Diff line number Diff line change
1
+ name : Check Board Headers
2
+
3
+ on :
4
+ push :
5
+ paths :
6
+ - ' src/boards/include/boards/**'
7
+ - ' tools/check_board_header.py'
8
+ - ' tools/check_all_board_headers.sh'
9
+ - ' .github/workflows/check_board.yml'
10
+ pull_request :
11
+ paths :
12
+ - ' src/boards/include/boards/**'
13
+ - ' tools/check_board_header.py'
14
+ - ' tools/check_all_board_headers.sh'
15
+ - ' .github/workflows/check_board.yml'
16
+
17
+ jobs :
18
+ check-board-headers :
19
+ if : github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
20
+ runs-on : ubuntu-latest
21
+ steps :
22
+ - name : Checkout
23
+ uses : actions/checkout@v4
24
+
25
+ - name : Check Board Headers
26
+ run : |
27
+ tools/check_all_board_headers.sh
Original file line number Diff line number Diff line change 1
1
#! /bin/bash
2
+
3
+ EXIT_CODE=0
4
+
2
5
for HEADER in src/boards/include/boards/* .h; do
3
6
tools/check_board_header.py $HEADER
4
7
if [[ $? -ne 0 ]]; then
5
- break
8
+ EXIT_CODE=1
6
9
fi
7
10
done
11
+
12
+ exit $EXIT_CODE
Load Diff Large diffs are not rendered by default.
Original file line number Diff line number Diff line change 28
28
# Python <3.11 doesn't have ExceptionGroup, so define a simple one
29
29
class ExceptionGroup (Exception ):
30
30
def __init__ (self , message , errors ):
31
- message += "\n " + "\n " .join (e . __str__ ( ) for e in errors )
31
+ message += "\n " + "\n " .join (str ( e ) for e in errors )
32
32
super ().__init__ (message )
33
33
34
34
logger = logging .getLogger (__name__ )
Original file line number Diff line number Diff line change 28
28
# Python <3.11 doesn't have ExceptionGroup, so define a simple one
29
29
class ExceptionGroup (Exception ):
30
30
def __init__ (self , message , errors ):
31
- message += "\n " + "\n " .join (e . __str__ ( ) for e in errors )
31
+ message += "\n " + "\n " .join (str ( e ) for e in errors )
32
32
super ().__init__ (message )
33
33
34
34
logger = logging .getLogger (__name__ )
Original file line number Diff line number Diff line change 26
26
# Python <3.11 doesn't have ExceptionGroup, so define a simple one
27
27
class ExceptionGroup (Exception ):
28
28
def __init__ (self , message , errors ):
29
- message += "\n " + "\n " .join (e . __str__ ( ) for e in errors )
29
+ message += "\n " + "\n " .join (str ( e ) for e in errors )
30
30
super ().__init__ (message )
31
31
32
32
logger = logging .getLogger (__name__ )
Original file line number Diff line number Diff line change 28
28
# Python <3.11 doesn't have ExceptionGroup, so define a simple one
29
29
class ExceptionGroup (Exception ):
30
30
def __init__ (self , message , errors ):
31
- message += "\n " + "\n " .join (e . __str__ ( ) for e in errors )
31
+ message += "\n " + "\n " .join (str ( e ) for e in errors )
32
32
super ().__init__ (message )
33
33
34
34
logger = logging .getLogger (__name__ )
You can’t perform that action at this time.
0 commit comments