Skip to content
CI

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

Sign in to view logs

Test: Use make instead of tests in functest action

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Quickcheck C90 (aarch64)
1m 23s
Quickcheck C90 (x86_64)
55s
Examples (macos-latest)
8s
Examples (ubuntu-latest)
4s
Linting (ubuntu-latest)
1m 28s
lint-markdown-link
29s
Quickcheck (aarch64)
1m 3s
Quickcheck (x86_64)
42s
Quickcheck lib (macos-latest)
10s
Quickcheck windows-latest
31s
Quickcheck lib (ubuntu-latest)
41s
Non-standard configurations
0s
Compiler tests (${{ matrix.target.name }})
0s
Functional tests (${{ matrix.target.arch }}${{ (((matrix.target.mode != 'native') && ', cross') || '') }})
0s
Platform tests (${{ matrix.target.name }})
0s
CBMC (ML-KEM-512)
0s
Compatibility tests (${{ matrix.container.id }})
0s
Compatibility tests (${{ matrix.container.id }})
0s
CBMC (ML-KEM-768)
0s
CBMC (ML-KEM-1024)
0s
7m 34s