CI

Add CBMC as dependency to nix #51

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint (pqcp-arm64)	12m 17s
lint (pqcp-arm64)	13m 19s
cbmc (macos-latest)	17m 14s
cbmc (macos-latest)	10m 25s
build_kat (macos-latest)	9m 15s
build_kat (macos-latest)	9m 18s
build_kat (pqcp-arm64)	12m 46s
build_kat (pqcp-arm64)	12m 47s
build_kat (ubuntu-latest)	14m 50s
build_kat (ubuntu-latest)	14m 21s
	2h 6m 32s