2025-01-06 21:32:33 +01:00
|
|
|
set -o pipefail
|
|
|
|
|
sh .ci/lint.sh 2>&1 | tee output_tmp.txt
|
2025-01-06 23:22:10 +01:00
|
|
|
EXIT_CODE=$?
|
2025-01-06 21:32:33 +01:00
|
|
|
echo "\`\`\`" > output.txt
|
|
|
|
|
grep 'msg=' output_tmp.txt | awk -F'msg="' '{print $2}' | sed 's/"$//' | sed 's/\\"/"/g' >> output.txt
|
|
|
|
|
echo "\`\`\`" >> output.txt
|
2025-01-06 23:22:10 +01:00
|
|
|
echo "END"
|
|
|
|
|
exit $EXIT_CODE
|
