CI

Default to `panic = "abort"` #567

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check dependencies	3m 0s
Build docs	2m 56s
Check Kani proofs	4m 39s
Check licenses	22s
Check source	2m 54s
Run other tests	46m 43s
Build everything	0s
Deploy docs	0s
	1h 0m 34s