Misc 0

maint: Add AGENTS.md file #6866

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
shellcheck	21s
spellcheck	12s
docs	38s
precommit	37s
typecheck	19s
docker-tests	2m 33s
generate	39s
generate-workflows	14s
	5m 33s