CI

Build CBMC from source and add to nix CI cache #62

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
cbmc (macos-latest)	10m 10s
cbmc (macos-latest)	10m 10s
cbmc (macos-latest)	2m 30s
lint (pqcp-arm64)	12m 39s
lint (pqcp-arm64)	12m 39s
lint (pqcp-arm64)	32s
build_kat (macos-latest)	9m 41s
build_kat (macos-latest)	1m 37s
build_kat (macos-latest)	1m 26s
build_kat (pqcp-arm64)	13m 48s
build_kat (pqcp-arm64)	13m 48s
build_kat (pqcp-arm64)	56s
build_kat (ubuntu-latest)	15m 12s
build_kat (ubuntu-latest)	15m 12s
build_kat (ubuntu-latest)	41s
	2h 1m 1s