Build and test

Make mypy happy with the gdb host script. #314

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Setup runners	49s
arm64 / On runner	5m 26s
x86-64 / On runner	7m 30s
Stop runners	5s
	13m 50s