Main

chore: polish echo agent #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests-and-type-check (3.13)	24s
tests-and-type-check (3.10)	25s
tests-and-type-check (3.11)	28s
quality	12s
tests-and-type-check (3.12)	25s
check-docs	16s
	2m 10s