ci: fix double CI runs on PR pushes #75

Merged

TapTap merged 2 commits from fix/ci-double-trigger into main

2026-07-20 17:32:04 +02:00

Author	SHA1	Message	Date
TapTap	e7634f6581	chore: load AGENTS.md as instructions and block direct pushes to main CI / lint (pull_request) Successful in 7s Details CI / sanitizers (address) (pull_request) Successful in 19s Details CI / sanitizers (undefined) (pull_request) Successful in 14s Details CI / fuzz-build (pull_request) Successful in 13s Details CI / build-and-test (pull_request) Successful in 54s Details CI / coverage (pull_request) Successful in 9s Details CI / valgrind (pull_request) Successful in 13s Details	2026-07-20 17:27:32 +02:00
TapTap	00b6f2064b	ci: only trigger push on main to avoid double CI runs CI / lint (pull_request) Successful in 7s Details CI / sanitizers (address) (pull_request) Successful in 15s Details CI / sanitizers (undefined) (pull_request) Successful in 15s Details CI / fuzz-build (pull_request) Successful in 14s Details CI / build-and-test (pull_request) Successful in 56s Details CI / coverage (pull_request) Successful in 10s Details CI / valgrind (pull_request) Successful in 12s Details	2026-07-20 17:26:58 +02:00