ci: Use Kani with Nix #414

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	14s
Check licenses	15s
Check licenses	14s
Check Kani proofs	3m 24s
Check Kani proofs	3m 31s
Check Kani proofs	3m 51s
Build docs	1m 48s
Build docs	1m 50s
Build docs	2m 5s
Check dependencies	2m 24s
Check dependencies	2m 35s
Check dependencies	2m 43s
Run other tests	5m 1s
Run other tests	6m 20s
Run other tests	6m 5s
Check source	2m 43s
Check source	2m 42s
Check source	2m 42s
Build everything	5m 41s
Build everything	7m 50s
Build everything	7m 35s
Deploy docs	0s
Deploy docs	0s
Deploy docs	0s
	1h 11m 33s