ci: trigger CI on PR
CI / lint (pull_request) Successful in 8s
CI / sanitizers (address) (pull_request) Successful in 14s
CI / sanitizers (undefined) (pull_request) Successful in 14s
CI / fuzz-build (pull_request) Successful in 12s
CI / coverage (pull_request) Successful in 9s
CI / build-and-test (pull_request) Successful in 54s
CI / valgrind (pull_request) Successful in 11s

This commit is contained in:
2026-07-20 19:48:32 +02:00
parent d75701270d
commit 86247fe2b5

Diff Content Not Available