Platform

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
platform (32, ubuntu-latest)	55s
platform (32, windows-latest)	1m 20s
platform (64, macos-13)	46s
platform (64, macos-latest)	22s
platform (64, ubuntu-latest)	22s
platform (64, windows-latest)	1m 29s
	5m 14s