CI

Default to `panic = "abort"` #568

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	15s
Check Kani proofs	4m 26s
Check dependencies	2m 34s
Build docs	10m 9s
Check source	2m 38s
Run other tests	49m 22s
Build everything	11m 59s
Deploy docs	0s
	1h 21m 23s