devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 10 Actions Packages Projects 1 Releases Wiki Activity

merge/upstream-full #105

Manually merged
jabber.developer merged 407 commits from merge/upstream-full into master 2026-05-26 17:54:34 +00:00
Conversation 6 Commits 407 Files Changed 303 +7752 -28609
251 changed files with 7752 additions and 28609 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 09c9307493 - Show all commits

2
ci-meson-build.sh
View File

@@ -39,7 +39,7 @@ tests=(
if [[ "$(uname | tr '[:upper:]' '[:lower:]')" == linux* ]]; then if [[ "$(uname | tr '[:upper:]' '[:lower:]')" == linux* ]]; then
echo "--> Running Valgrind check with full features" echo "--> Running Valgrind check with full features"
meson setup build_valgrind ${tests[0]} -Dtests=true meson setup build_valgrind ${tests[0]} -Dtests=true -Db_sanitize=address,undefined
meson compile -C build_valgrind meson compile -C build_valgrind
meson test -C build_valgrind --print-errorlogs --wrap=valgrind || echo "Valgrind issues detected" meson test -C build_valgrind --print-errorlogs --wrap=valgrind || echo "Valgrind issues detected"