ci: Test building microkit PD with release configuration #487

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docs	8m 59s
Check licenses	11s
Check dependencies	3m 30s
Check Kani proofs	3m 35s
Check source	2m 49s
Run other tests	6m 4s
Build everything	8m 44s
Deploy docs	31s
	34m 23s