Skip to content
CI

CI: Add Docker-based compatibility tests, add tests to make quickcheck #3493

Sign in to view logs

CI: Add Docker-based compatibility tests, add tests to make quickcheck

CI: Add Docker-based compatibility tests, add tests to make quickcheck #3493

Run time

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