Sergei Zimmerman 413f782176 ci: Run sanitizer tests in a separate job ... This should speed up the CI somewhat by parallelizing the work across the matrix of configurations.		2025-07-28 23:37:04 +03:00
..
profile-build	ci: Add build profiling job	2025-07-20 18:26:26 +03:00
tests	ci: Run sanitizer tests in a separate job	2025-07-28 23:37:04 +03:00