docs: add batch PR workflow and CI troubleshooting to AGENTS.md #94

Merged

TapTap merged 1 commits from docs/agents-md-workflow into main

2026-07-21 16:18:47 +02:00

Author	SHA1	Message	Date
TapTap	ce39f2a910	docs: add batch PR workflow, CI troubleshooting, Gitea API, and common pitfalls to AGENTS.md CI / lint (pull_request) Successful in 8s Details CI / sanitizers (address) (pull_request) Successful in 15s Details CI / sanitizers (undefined) (pull_request) Successful in 14s Details CI / coverage (pull_request) Successful in 10s Details CI / fuzz-build (pull_request) Successful in 14s Details CI / valgrind (pull_request) Successful in 12s Details CI / build-and-test (pull_request) Successful in 55s Details	2026-07-21 16:17:29 +02:00