CI

delete: deprecated field `prPermitted` #793

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Packages	11s
Generate APIs	18s
Type Check	41s
Lint	11s
Format	19s
Build	14s
Test	11s
	2m 5s