Skip to content
CI

CBMC: Add contracts to native backends #4245

Sign in to view logs

CBMC: Add contracts to native backends

CBMC: Add contracts to native backends #4245

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Linting (ubuntu-latest)
1m 23s
Check API consistency (false, pqcp-arm64, aarch64)
1m 23s
Examples (macos-latest)
10s
Check API consistency (false, ubuntu-latest, x86_64)
44s
Examples (ubuntu-latest)
5s
lint-markdown-link
30s
Quickcheck (aarch64)
2m 21s
Quickcheck C90 (aarch64)
2m 58s
Quickcheck (x86_64)
2m 24s
Quickcheck lib (macos-latest)
14s
Quickcheck lib (ubuntu-latest)
17s
Quickcheck C90 (x86_64)
2m 24s
Quickcheck windows-latest
44s
Non-standard configurations (false, pqcp-arm64, ubuntu-latest (aarch64))
3m 42s
Non-standard configurations (false, pqcp-x64, ubuntu-latest (x86_64))
3m 7s
Compatibility tests (debian:bullseye)
59s
Functional tests (mac)
3m 4s
Compatibility tests (debian:bookworm)
1m 13s
Functional tests (aarch64)
13m 44s
Compiler tests (gcc-4.8, aarch64)
1m 48s
Functional tests (x86_64, cross)
4m 5s
Compiler tests (gcc-4.9, aarch64)
1m 55s
Functional tests (riscv64, cross)
2m 38s
Functional tests (x86_64)
2m 47s
Compiler tests (gcc-7, aarch64)
1m 58s
Compiler tests (gcc-11, aarch64)
1m 59s
Functional tests (aarch64, cross)
3m 6s
Compiler tests (gcc-13, aarch64)
2m 10s
Functional tests (aarch64_be, cross)
2m 36s
Compiler tests (gcc-14, aarch64)
2m 1s
Compiler tests (clang-18, aarch64)
2m 32s
Compiler tests (gcc-4.8, x86_64)
1m 51s
Compiler tests (gcc-4.9, x86_64)
1m 58s
Compiler tests (gcc-7, x86_64)
2m 2s
Compiler tests (gcc-11, x86_64)
2m 10s
Compiler tests (gcc-13, x86_64)
2m 24s
Compiler tests (gcc-14, x86_64)
2m 12s
Compiler tests (clang-18, x86_64)
2m 37s
Compiler tests (gcc-4.8, macos)
5s
Compiler tests (gcc-4.9, macos)
5s
Compiler tests (gcc-7, macos)
5s
Compiler tests (gcc-11, macos)
3m 31s
Compiler tests (gcc-13, macos)
4m 42s
Compiler tests (gcc-14, macos)
3m 37s
Compiler tests (clang-18, macos)
3m 14s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
1m 32s
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
1m 5s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
1m 11s
Platform tests (AMD EPYC 4th gen (t3a)) / Start instance (t3a.small)
1m 20s
Platform tests (Graviton2 (c6g.medium)) / Start instance (c6g.medium)
1m 16s
Platform tests (Intel Xeon 4th gen (t3)) / Start instance (t3.small)
1m 40s
Platform tests (Graviton3 (c7g.medium)) / Start instance (c7g.medium)
1m 0s
Compatibility tests (amazonlinux-2023-aarch:base) / Start instance (t4g.small)
1m 21s
Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Start instance (t4g.small)
6s
Compatibility tests (amazonlinux-2-aarch:base) / Start instance (t4g.small)
1m 21s
Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Start instance (t4g.small)
1m 21s
Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Start instance (t4g.small)
1m 21s
Compatibility tests (amazonlinux-2-aarch:clang-7x) / Start instance (t4g.small)
1m 22s
Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Start instance (t4g.small)
1m 23s
Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Start instance (t4g.small)
1m 20s
Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Run tests
0s
Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Stop instance (t4g.small)
4s
Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Start instance (t4g.small)
1m 16s
Platform tests (Graviton3 (c7g.medium)) / Run tests
4m 10s
CBMC (ML-KEM-512) / Run tests
15m 50s
CBMC (ML-KEM-1024) / Run tests
15m 47s
Platform tests (Graviton2 (c6g.medium)) / Run tests
3m 51s
Platform tests (AMD EPYC 4th gen (t3a)) / Run tests
4m 13s
Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Run tests
2m 18s
Compatibility tests (amazonlinux-2023-aarch:base) / Run tests
1m 54s
Compatibility tests (amazonlinux-2-aarch:base) / Run tests
1m 39s
Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Run tests
2m 8s
Compatibility tests (amazonlinux-2-aarch:clang-7x) / Run tests
1m 59s
Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Run tests
2m 16s
Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Run tests
1m 38s
CBMC (ML-KEM-768) / Run tests
15m 24s
Platform tests (Intel Xeon 4th gen (t3)) / Run tests
4m 52s
Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Run tests
1m 48s
Compatibility tests (amazonlinux-2-aarch:base) / Stop instance (t4g.small)
6s
Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Stop instance (t4g.small)
4s
Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Start instance (t4g.small)
1m 36s
Compatibility tests (amazonlinux-2023-aarch:base) / Stop instance (t4g.small)
7s
Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Start instance (t4g.small)
1m 32s
Compatibility tests (amazonlinux-2-aarch:clang-7x) / Stop instance (t4g.small)
4s
Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Stop instance (t4g.small)
3s
Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Stop instance (t4g.small)
3s
Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Start instance (t4g.small)
1m 21s
Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Start instance (t4g.small)
1m 15s
Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Stop instance (t4g.small)
4s
Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Stop instance (t4g.small)
6s
Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Start instance (t4g.small)
1m 25s
Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Start instance (t4g.small)
1m 35s
Compatibility tests (ubuntu-20.04-aarch:clang-10x) / Start instance (t4g.small)
1m 39s
Compatibility tests (ubuntu-22.04-aarch:base) / Start instance (t4g.small)
1m 39s
Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Run tests
1m 55s
Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Run tests
1m 47s
Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Run tests
1m 52s
Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Run tests
2m 3s
Platform tests (Graviton2 (c6g.medium)) / Stop instance (c6g.medium)
3s
Platform tests (Graviton3 (c7g.medium)) / Stop instance (c7g.medium)
3s
Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Run tests
1m 47s
Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Run tests
2m 1s
Platform tests (AMD EPYC 4th gen (t3a)) / Stop instance (t3a.small)
7s
Compatibility tests (ubuntu-20.04-aarch:clang-10x) / Run tests
1m 58s
Compatibility tests (ubuntu-22.04-aarch:base) / Run tests
2m 3s
Platform tests (Intel Xeon 4th gen (t3)) / Stop instance (t3.small)
3s
Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Stop instance (t4g.small)
8s
Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Stop instance (t4g.small)
7s
Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Stop instance (t4g.small)
9s
Compatibility tests (ubuntu-20.04-aarch:base) / Start instance (t4g.small)
1m 23s
Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Stop instance (t4g.small)
4s
Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Stop instance (t4g.small)
3s
Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Stop instance (t4g.small)
7s
Compatibility tests (ubuntu-20.04-aarch:clang-10x) / Stop instance (t4g.small)
4s
Compatibility tests (ubuntu-22.04-aarch:base) / Stop instance (t4g.small)
3s
Compatibility tests (ubuntu-20.04-aarch:base) / Run tests
1m 49s
Compatibility tests (ubuntu-20.04-aarch:base) / Stop instance (t4g.small)
7s
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
7s
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
6s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
7s
3h 54m 5s