Skip to content

Remove double-namespacing for assembly symbols #3361

Remove double-namespacing for assembly symbols

Remove double-namespacing for assembly symbols #3361

Triggered via pull request December 19, 2024 09:33
Status Failure
Total duration 2m 38s
Billable time 4m
Artifacts

ci.yml

on: pull_request
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck
lint-markdown-link
27s
lint-markdown-link
Quickcheck windows-latest
23s
Quickcheck windows-latest
CBMC (ML-KEM-512)  /  Run test
CBMC (ML-KEM-512) / Run test
CBMC (ML-KEM-768)  /  Run test
CBMC (ML-KEM-768) / Run test
CBMC (ML-KEM-1024)  /  Run test
CBMC (ML-KEM-1024) / Run test
CBMC (ML-KEM-512)  /  stop-ec2-runner
CBMC (ML-KEM-512) / stop-ec2-runner
CBMC (ML-KEM-768)  /  stop-ec2-runner
CBMC (ML-KEM-768) / stop-ec2-runner
CBMC (ML-KEM-1024)  /  stop-ec2-runner
CBMC (ML-KEM-1024) / stop-ec2-runner
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 5 warnings
Quickcheck lib (macos-latest)
Process completed with exit code 2.
Quickcheck lib (ubuntu-latest)
The job was canceled because "macos-latest" failed.
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 (x86_64)
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
Linting (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636