Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/copilot-instructions.md
10 changes: 10 additions & 0 deletions AGENTS.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
# Guidelines for Codex Agents

This repository is a devops environment.

When problems arise with the tooling or dependencies, **do not give up**.
Research the issue online and attempt to resolve it.

You may install additional software either by extending the Nix development
environment or by using the Ubuntu package manager. The primary goal is to
overcome environment issues so that the tooling here works correctly.