devs/cproof

Improve Functional Test Stability and CI Reliability #79

Manually merged

jabber.developer merged 7 commits from fix/test-CI-stability into master

2026-02-02 16:47:30 +00:00

Author	SHA1	Message	Date
jabber.developer2	a546092a5f	fix: add build names, use TEST_BUILDS constant, redirect errors to stderr All checks were successful CI Code / Check spelling (pull_request) Successful in 19s Details CI Code / Check coding style (pull_request) Successful in 32s Details CI Code / Code Coverage (pull_request) Successful in 4m45s Details CI Code / Linux (debian) (pull_request) Successful in 6m8s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m15s Details CI Code / Linux (arch) (pull_request) Successful in 6m21s Details	2026-02-02 16:04:08 +03:00
jabber.developer2	5978c77a45	fix: address code review comments from PR #79 All checks were successful CI Code / Check spelling (pull_request) Successful in 17s Details CI Code / Check coding style (pull_request) Successful in 37s Details CI Code / Code Coverage (pull_request) Successful in 4m47s Details CI Code / Linux (debian) (pull_request) Successful in 6m8s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m12s Details CI Code / Linux (arch) (pull_request) Successful in 6m19s Details - Add TEST_GROUPS constant to eliminate magic number - Use stdout for info messages, stderr for errors only - Remove redundant comments and dead code - Add CI check before copying coverage.info - Unify variable declaration order - Add port allocation explanation comment - Restore /* 50ms */ inline comment - Update CONTRIBUTING.md with build 1 description	2026-02-02 14:56:46 +03:00
jabber.developer2	cf86e60af6	ci: refactor ci-build.sh with constants and helper functions All checks were successful CI Code / Check spelling (pull_request) Successful in 21s Details CI Code / Check coding style (pull_request) Successful in 33s Details CI Code / Code Coverage (pull_request) Successful in 4m46s Details CI Code / Linux (debian) (pull_request) Successful in 6m8s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m14s Details CI Code / Linux (arch) (pull_request) Successful in 6m19s Details - Add CMOCKA_PASSED_PATTERN, CMOCKA_FAILED_PATTERN constants - Add COVERAGE_PATTERNS constant for lcov extraction - Add parse_build_stats() function for parsing build logs - Add extract_test_count() helper function - Organize code into sections: Constants, Helper Functions, Test Verification	2026-01-29 17:45:11 +03:00
jabber.developer2	5100efca3b	ci: remove coverage from linux builds All checks were successful CI Code / Check spelling (pull_request) Successful in 25s Details CI Code / Check coding style (pull_request) Successful in 33s Details CI Code / Code Coverage (pull_request) Successful in 4m46s Details CI Code / Linux (debian) (pull_request) Successful in 6m7s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m13s Details CI Code / Linux (arch) (pull_request) Successful in 6m21s Details Coverage is now collected only in the dedicated Code Coverage job.	2026-01-29 17:08:39 +03:00
jabber.developer2	adc5e26689	ci: integrate coverage into linux arch job, remove duplicate All checks were successful CI Code / Check spelling (pull_request) Successful in 18s Details CI Code / Check coding style (pull_request) Successful in 32s Details CI Code / Code Coverage (pull_request) Successful in 4m47s Details CI Code / Linux (debian) (pull_request) Successful in 6m37s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m39s Details CI Code / Linux (arch) (pull_request) Successful in 6m49s Details - Linux arch job now uploads coverage.info as artifact - ci-build.sh saves coverage.info before cleanup - Removed separate coverage job (was duplicating arch build) - Saves ~25% CI time by eliminating redundant build	2026-01-29 17:01:39 +03:00
jabber.developer2	6c5c523a1a	ci: fix coverage to match Code Coverage job output All checks were successful CI Code / Check coding style (pull_request) Successful in 28s Details CI Code / Check spelling (pull_request) Successful in 17s Details CI Code / Linux (arch) (pull_request) Successful in 6m46s Details CI Code / Linux (debian) (pull_request) Successful in 6m37s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m37s Details CI Code / Code Coverage (pull_request) Successful in 15m23s Details Use --extract '/src/src/' instead of --remove to properly filter production code from tests. Coverage now shows 27.5% lines matching the dedicated Code Coverage job.	2026-01-28 23:10:09 +03:00
jabber.developer2	9a2a7614a9	ci: improve CI stability with parallel builds, Valgrind, and coverage All checks were successful CI Code / Check spelling (pull_request) Successful in 20s Details CI Code / Check coding style (pull_request) Successful in 35s Details CI Code / Linux (debian) (pull_request) Successful in 6m40s Details CI Code / Linux (ubuntu) (pull_request) Successful in 6m37s Details CI Code / Linux (arch) (pull_request) Successful in 6m50s Details CI Code / Code Coverage (pull_request) Successful in 15m25s Details	2026-01-28 20:42:42 +03:00