Skip to content
CI

Test: Use make instead of tests in functest action #3523

Sign in to view logs

Test: Use make instead of tests in functest action

Test: Use make instead of tests in functest action #3523

CBMC (ML-KEM-512)  /  Run tests

CBMC (ML-KEM-512) / Run tests
succeeded Dec 22, 2024 in 8m 27s