Skip to content

meta: add repository agent instructions#330

Merged
fingolfin merged 1 commit intomasterfrom
codex/add-agents-md
Mar 7, 2026
Merged

meta: add repository agent instructions#330
fingolfin merged 1 commit intomasterfrom
codex/add-agents-md

Conversation

@fingolfin
Copy link
Member

Add a repository-local AGENTS.md with AI disclosure requirements,
the main GAP manual and test commands, and guidance for commit
messages and pull requests.

Co-authored-by: Codex codex@openai.com

Add a repository-local AGENTS.md with AI disclosure requirements,
the main GAP manual and test commands, and guidance for commit
messages and pull requests.

Co-authored-by: Codex <codex@openai.com>
@codecov
Copy link

codecov bot commented Mar 7, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.92%. Comparing base (8fe969f) to head (b18e4a3).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #330   +/-   ##
=======================================
  Coverage   90.92%   90.92%           
=======================================
  Files          13       13           
  Lines        2523     2523           
=======================================
  Hits         2294     2294           
  Misses        229      229           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@fingolfin fingolfin enabled auto-merge (squash) March 7, 2026 23:36
@fingolfin fingolfin merged commit 37e71f7 into master Mar 7, 2026
8 checks passed
@fingolfin fingolfin deleted the codex/add-agents-md branch March 7, 2026 23:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant