Back to pull request #165

add tcb_unbind_notification invocation #460

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	3m 12s
Check dependencies	3m 12s
Check dependencies	3m 12s
Build docs	9m 15s
Build docs	9m 15s
Build docs	9m 15s
Check licenses	13s
Check licenses	13s
Check licenses	13s
Check Kani proofs	3m 21s
Check Kani proofs	3m 21s
Check Kani proofs	3m 21s
Check source	2m 40s
Check source	2m 40s
Check source	2m 40s
Run other tests	13m 1s
Run other tests	13m 1s
Run other tests	13m 1s
Build everything	3m 23s
Build everything	44m 54s
Build everything	21m 36s
Deploy docs	0s
Deploy docs	0s
Deploy docs	0s
	2h 44m 59s