Python application

gdb: Switch default branches from 12 to 14 #1646

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-latest	2m 57s
build-baseline	2m 52s
typecheck	8m 23s
build-macos	1m 31s
	15m 43s