Skip to content

Simplify base multiplication #4536

Simplify base multiplication

Simplify base multiplication #4536

Triggered via pull request February 1, 2025 06:00
@hanno-beckerhanno-becker
synchronize #727
basemul
Status Cancelled
Total duration 12m 57s
Billable time 52m
Artifacts

ci.yml

on: pull_request
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck
lint-markdown-link
30s
lint-markdown-link
Quickcheck windows-latest
44s
Quickcheck windows-latest
Matrix: Check API consistency
Matrix: ASM simplifier
CBMC (ML-KEM-512)  /  Run tests
6m 40s
CBMC (ML-KEM-512) / Run tests
CBMC (ML-KEM-768)  /  Run tests
7m 12s
CBMC (ML-KEM-768) / Run tests
CBMC (ML-KEM-1024)  /  Run tests
7m 9s
CBMC (ML-KEM-1024) / Run tests
CBMC (ML-KEM-512)  /  Stop instance (c7g.2xlarge)
4s
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)
4s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

2 errors
CBMC (ML-KEM-1024) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/727/merge' exists
CBMC (ML-KEM-768) / Run tests
Canceling since a higher priority waiting request for 'CI-refs/pull/727/merge' exists