Skip to content
CI

Add tests examples command #3853

Sign in to view logs

Add tests examples command

Add tests examples command #3853

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linting (ubuntu-latest)
1m 26s
Quickcheck (aarch64)
43s
Examples (macos-latest)
10s
Quickcheck (x86_64)
46s
lint-markdown-link
34s
Examples (ubuntu-latest)
4s
Quickcheck C90 (aarch64)
51s
Quickcheck C90 (x86_64)
51s
Quickcheck windows-latest
36s
Quickcheck lib (macos-latest)
12s
Quickcheck lib (ubuntu-latest)
21s
CBMC (ML-KEM-1024)
1s
CBMC (ML-KEM-768)
1s
CBMC (ML-KEM-512)
1s
Functional tests (${{ matrix.target.arch }}${{ (((matrix.target.mode != 'native') && ', cross') || '') }})
1s
Compatibility tests (${{ matrix.container.id }})
1s
Compiler tests (${{ matrix.compiler.name }}, ${{ matrix.target.name }})
1s
Non-standard configurations
1s
Compatibility tests (${{ matrix.container.id }})
1s
Platform tests (${{ matrix.target.name }})
1s
6m 43s