CI

nix: Refactor ferrocene expression and bump ferrocene #564

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	17s
Check licenses	17s
Check dependencies	7m 2s
Check dependencies	7m 2s
Check Kani proofs	8m 42s
Check Kani proofs	8m 42s
Build docs	12m 24s
Build docs	12m 24s
Check source	6m 51s
Check source	6m 51s
Run other tests	2h 59m 55s
Run other tests	24m 52s
Build everything	0s
Build everything	7m 10s
Deploy docs	0s
Deploy docs	33s
	4h 43m 2s