Label Pull Request

Core: `Option.default` typing and definition checking #482

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Remove waiting-on labels	4s
Apply content-based labels	0s
Apply peer review label	0s
	4s