pull-request

Fix missing `echo_date` in `.envrc` #178

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ruff	6s
pyright	12s
test / macos-latest	23s
test / ubuntu-latest	15s
test / windows-latest	40s
	1m 36s