CI

Default to `panic = "abort"` #569

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	4m 33s
Check Kani proofs	4m 33s
Build docs	10m 20s
Build docs	10m 20s
Check licenses	15s
Check licenses	15s
Check dependencies	2m 45s
Check dependencies	2m 45s
Check source	2m 46s
Check source	2m 46s
Run other tests	46m 38s
Run other tests	10m 51s
Build everything	0s
Build everything	12m 44s
Deploy docs	0s
Deploy docs	0s
	1h 51m 31s