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
Owner

Documents the batch PR workflow used during the 35-issue fix cycle:\n- Batch PR workflow (group, fix, 3-reviewer cycle, merge, combine)\n- CI troubleshooting (clang-format, cppcheck, integration tests in Docker)\n- Gitea API & tea CLI usage\n- Common pitfalls (io_ssl thread-local, SSL WANT retry, clang-format version, merge order)

Documents the batch PR workflow used during the 35-issue fix cycle:\n- Batch PR workflow (group, fix, 3-reviewer cycle, merge, combine)\n- CI troubleshooting (clang-format, cppcheck, integration tests in Docker)\n- Gitea API & tea CLI usage\n- Common pitfalls (io_ssl thread-local, SSL WANT retry, clang-format version, merge order)
TapTap added 1 commit 2026-07-21 16:17:30 +02:00
docs: add batch PR workflow, CI troubleshooting, Gitea API, and common pitfalls to AGENTS.md
CI / lint (pull_request) Successful in 8s
CI / sanitizers (address) (pull_request) Successful in 15s
CI / sanitizers (undefined) (pull_request) Successful in 14s
CI / coverage (pull_request) Successful in 10s
CI / fuzz-build (pull_request) Successful in 14s
CI / valgrind (pull_request) Successful in 12s
CI / build-and-test (pull_request) Successful in 55s
ce39f2a910
TapTap merged commit c21950493a into main 2026-07-21 16:18:47 +02:00
TapTap deleted branch docs/agents-md-workflow 2026-07-21 16:18:50 +02:00
Sign in to join this conversation.
No Reviewers
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: TapTap/FastSync#94