Skip to content
CI

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

Sign in to view logs

Test: Use make instead of tests in functest action

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

Triggered via pull request December 23, 2024 03:30
@hanno-beckerhanno-becker
synchronize #571
test_simpl
Status Cancelled
Total duration 9m 32s
Billable time 38m
Artifacts –

ci.yml

on: pull_request
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck
lint-markdown-link
29s
lint-markdown-link
Quickcheck windows-latest
33s
Quickcheck windows-latest
CBMC (ML-KEM-512)  /  Start instance (c7g.2xlarge)
1m 13s
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-768)  /  Start instance (c7g.2xlarge)
1m 13s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-1024)  /  Start instance (c7g.2xlarge)
1m 5s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
Matrix: build_kat
Matrix: compatibility_tests
Matrix: compiler_tests
Matrix: Non-standard configurations
Matrix: ec2_compatibilitytests
Matrix: ec2_functests
CBMC (ML-KEM-512)  /  Run tests
5m 5s
CBMC (ML-KEM-512) / Run tests
CBMC (ML-KEM-768)  /  Run tests
5m 3s
CBMC (ML-KEM-768) / Run tests
CBMC (ML-KEM-1024)  /  Run tests
5m 10s
CBMC (ML-KEM-1024) / Run tests
CBMC (ML-KEM-512)  /  Stop instance (c7g.2xlarge)
3s
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
CBMC (ML-KEM-768)  /  Stop instance (c7g.2xlarge)
6s
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
CBMC (ML-KEM-1024)  /  Stop instance (c7g.2xlarge)
5s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

16 errors and 53 warnings
Functional tests (x86_64, cross)
Process completed with exit code 2.
Functional tests (aarch64, cross)
Process completed with exit code 2.
Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Run tests
The operation was canceled.
Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Run tests
The operation was canceled.
Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
Compatibility tests (amazonlinux-2-aarch:clang-7x) / Start instance (t4g.small)
GitHub self-hosted runner registration error
Compatibility tests (amazonlinux-2-aarch:clang-7x) / Start instance (t4g.small)
A timeout of 5 minutes is exceeded. Your AWS EC2 instance was not able to register itself in GitHub as a new self-hosted runner.
CBMC (ML-KEM-1024) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
CBMC (ML-KEM-512) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
CBMC (ML-KEM-768) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/571/merge' exists
Quickcheck lib (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Examples (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint-markdown-link
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Quickcheck C90 (x86_64)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Quickcheck (x86_64)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Linting (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Platform tests (Graviton3 (c7g.medium)) / Start instance (c7g.medium)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (debian:bullseye)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Platform tests (Graviton2 (c6g.medium)) / Start instance (c6g.medium)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (debian:bookworm)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2-aarch:base) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Platform tests (AMD EPYC 4th gen (t3a)) / Start instance (t3a.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2023-aarch:base) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Platform tests (Intel Xeon 4th gen (t3)) / Start instance (t3.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compiler tests (x86_64)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2-aarch:base) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2-aarch:gcc-7x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2023-aarch:gcc-11x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2023-aarch:base) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2023-aarch:clang-15x-sanitizer) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2023-aarch:clang-15x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-22.04-aarch:gcc-12x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Platform tests (Graviton2 (c6g.medium)) / Stop instance (c6g.medium)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Platform tests (Graviton3 (c7g.medium)) / Stop instance (c7g.medium)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Platform tests (AMD EPYC 4th gen (t3a)) / Stop instance (t3a.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Platform tests (Intel Xeon 4th gen (t3)) / Stop instance (t3.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2-aarch:clang-7x) / Start instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:gcc-7x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:clang-7x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:gcc-8x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:clang-9x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:clang-8x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-22.04-aarch:gcc-11x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (amazonlinux-2-aarch:clang-7x) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Compatibility tests (ubuntu-20.04-aarch:clang-7x-bm-framework) / Stop instance (t4g.small)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636