.github/workflows: Add a GitHub action to run regression tests upon push

Introduce a new GitHub action that automatically runs the
scripts/run_regression_tests script upon each push to the master branch.
This commit is contained in:
Gleb Chesnokov
2024-05-03 17:45:14 +03:00
parent 3fba8e48e1
commit 7c4e07414a
3 changed files with 73 additions and 2 deletions
+2 -2
View File
@@ -466,9 +466,9 @@ function run_smatch {
then
local errors warnings
errors=$(grep -c ' error:' "${outputfile}")
warnings=$(grep -c ' warning:' "${outputfile}")
warnings=$(grep -c ' warn:' "${outputfile}")
echo "${errors} errors / ${warnings} warnings."
grep -E ' info:| warning:| error:' < "${outputfile}" |
grep -E ' info:| warn:| error:' < "${outputfile}" |
sed 's/^\([^:]*\):[0-9:]* /\1: /;s/\((see line \)[0-9]*\()\)/\1...\2/' |
sort |
uniq -c