Skip to content
CI

Merge pull request #501 from pq-code-package/fix-py-lint #3087

Sign in to view logs

Merge pull request #501 from pq-code-package/fix-py-lint

Merge pull request #501 from pq-code-package/fix-py-lint #3087

Triggered via push December 4, 2024 08:29
@mkannwischermkannwischer
pushed 839c588
main
Status Success
Total duration 11m 24s
Billable time 37m
Artifacts –

ci.yml

on: push
Matrix: quickcheck
Quickcheck windows-latest
27s
Quickcheck windows-latest
Matrix: Linting
Matrix: quickcheck-c90
CBMC (ML-KEM-512)  /  Start instance (c7g.2xlarge)
1m 5s
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-768)  /  Start instance (c7g.2xlarge)
1m 2s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-1024)  /  Start instance (c7g.2xlarge)
1m 2s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
Matrix: build_kat
Matrix: compiler_tests
Matrix: Non-standard configurations
Matrix: ec2_functests
CBMC (ML-KEM-512)  /  Run test
7m 37s
CBMC (ML-KEM-512) / Run test
CBMC (ML-KEM-768)  /  Run test
8m 25s
CBMC (ML-KEM-768) / Run test
CBMC (ML-KEM-1024)  /  Run test
8m 27s
CBMC (ML-KEM-1024) / Run test
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)
7s
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

18 warnings
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
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
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
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
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
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
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
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
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
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 (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 (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
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