CI

feat: Phase 2 correctness proof - KATs, proptests, fuzzing, Miri/MSRV CI #20

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Quality	24s
Test	1m 9s
MSRV (1.85.0)	1m 15s
Dead dependencies	55s
Audit	2m 44s
Fuzz	40s
Miri	14s
	7m 21s