File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2929 - name : Build static files
3030 run : |
3131 cd docs
32- make html-all 2>&1 | tee build.log
33-
34- # Parse warnings and errors and create GitHub annotations
35- if grep -E "(WARNING|ERROR|CRITICAL)" build.log > /dev/null; then
36- echo "::group::Build Warnings and Errors"
37- while IFS= read -r line; do
38- # Match Sphinx warning/error format: file.rst:123: WARNING: message
39- if echo "$line" | grep -qE "\.(rst|md):[0-9]+: (WARNING|ERROR|CRITICAL)"; then
40- file=$(echo "$line" | sed -E 's|^([^:]+):[0-9]+:.*|\1|')
41- line_num=$(echo "$line" | sed -E 's|^[^:]+:([0-9]+):.*|\1|')
42- message=$(echo "$line" | sed -E 's|^[^:]+:[0-9]+: (WARNING|ERROR|CRITICAL): ||')
43-
44- # Make path relative to repo root (we're in docs/ directory)
45- if [[ "$file" != /* ]]; then
46- # Already relative, ensure it's from repo root
47- file="docs/$file"
48- else
49- # Absolute path, convert to relative
50- file=$(realpath --relative-to="$GITHUB_WORKSPACE" "$file" 2>/dev/null || echo "$file")
51- fi
52-
53- if echo "$line" | grep -qE "ERROR|CRITICAL"; then
54- echo "::error file=$file,line=$line_num::$message"
55- else
56- echo "::warning file=$file,line=$line_num::$message"
57- fi
58- fi
59- done < build.log
60- echo "::endgroup::"
61- fi
62-
63- # Show summary
64- echo "::notice::Build completed. Check the log above for details."
32+ make html-all
6533
6634 - name : Upload build artifact
6735 uses : actions/upload-artifact@v5.0.0
Original file line number Diff line number Diff line change 2727 - name : Build static files
2828 run : |
2929 cd docs
30- make html-all 2>&1 | tee build.log
31-
32- # Parse warnings and errors and create GitHub annotations
33- if grep -E "(WARNING|ERROR|CRITICAL)" build.log > /dev/null; then
34- echo "::group::Build Warnings and Errors"
35- while IFS= read -r line; do
36- # Match Sphinx warning/error format: file.rst:123: WARNING: message
37- if echo "$line" | grep -qE "\.(rst|md):[0-9]+: (WARNING|ERROR|CRITICAL)"; then
38- file=$(echo "$line" | sed -E 's|^([^:]+):[0-9]+:.*|\1|')
39- line_num=$(echo "$line" | sed -E 's|^[^:]+:([0-9]+):.*|\1|')
40- message=$(echo "$line" | sed -E 's|^[^:]+:[0-9]+: (WARNING|ERROR|CRITICAL): ||')
41-
42- # Make path relative to repo root (we're in docs/ directory)
43- if [[ "$file" != /* ]]; then
44- # Already relative, ensure it's from repo root
45- file="docs/$file"
46- else
47- # Absolute path, convert to relative
48- file=$(realpath --relative-to="$GITHUB_WORKSPACE" "$file" 2>/dev/null || echo "$file")
49- fi
50-
51- if echo "$line" | grep -qE "ERROR|CRITICAL"; then
52- echo "::error file=$file,line=$line_num::$message"
53- else
54- echo "::warning file=$file,line=$line_num::$message"
55- fi
56- fi
57- done < build.log
58- echo "::endgroup::"
59- fi
60-
61- # Show summary
62- echo "::notice::Build completed. Check the log above for details."
30+ make html-all
6331
6432 - name : Upload build artifact
6533 uses : actions/upload-artifact@v5.0.0
You can’t perform that action at this time.
0 commit comments