Back to pull request #329

Make verified ML-KEM available in `libcrux-ml-kem` #274

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchmarks (32, ubuntu-latest)	4m 48s
benchmarks (32, windows-latest)	9m 28s
benchmarks (64, macos-13)	5m 41s
build (32, ubuntu-latest)	4m 56s
benchmarks (64, macos-latest)	4m 13s
build (32, windows-latest)	9m 9s
benchmarks (64, ubuntu-latest)	4m 13s
build (64, macos-13)	14m 9s
benchmarks (64, windows-latest)	7m 6s
build (64, macos-latest)	5m 47s
build (64, ubuntu-latest)	6m 23s
build (64, windows-latest)	11m 12s
	1h 27m 5s