Skip to content

Merge pull request #728 from pq-code-package/dependabot/github_action… #4543

Merge pull request #728 from pq-code-package/dependabot/github_action…

Merge pull request #728 from pq-code-package/dependabot/github_action… #4543

Triggered via push February 1, 2025 21:20
Status Success
Total duration 54m 51s
Billable time 3h 42m
Artifacts

ci.yml

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