CI

Default to `panic = "abort"` #566

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Kani proofs	4m 32s
Check licenses	17s
Build docs	10m 43s
Check dependencies	2m 32s
Check source	2m 38s
Run other tests	54m 57s
Build everything	0s
Deploy docs	0s
	1h 15m 39s