Repository navigation

docs(AGENTS.md): the dev-server port is a default, not hard-wired, and the three contributor lines agree with the code #52428

Job	Run time
filter	31s
Dogfood Regression Gate	28s
Build Core	0s
Test UI	3s
UI Published Artifacts	0s
Build Docs	0s
Temporal Conformance (live PG + MySQL)	0s
Build UI Deps	0s
Test Core	15s
Dogfood Regression Gate (${{ matrix.shard }}/3)	0s
Plan Test Core shards	0s
Dogfood Verify CLI	0s
Type Check UI	0s
Test UI (${{ matrix.shard }}/16)	0s
Build & E2E UI	0s
Lint UI	0s
Test Core (${{ matrix.shard }}/8)	0s
	1m 17s