Tests

Fix MCP tool name conflicts by adding server name prefixes #1793

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
typecheck	53s
tests	1m 10s
lint	11s
build-docs	26s
old_versions	27s
	3m 7s