Skip to content
SLOTHY re-optimization tests

CBMC: Add cvc5 as a second solver for polyvecl_chknorm #84

Sign in to view logs

CBMC: Add cvc5 as a second solver for polyvecl_chknorm

CBMC: Add cvc5 as a second solver for polyvecl_chknorm #84

Triggered via pull request October 28, 2026 05:35
@hanno-beckerhanno-becker
labeled #1500
cbmc-polyvecl-chknorm-cvc5
Status Success
Total duration 6s
Artifacts –

slothy.yml

on: pull_request
Determine changed files
3s
Determine changed files
SLOTHY  /  start-ec2-runner
SLOTHY / start-ec2-runner
SLOTHY  /  Run tests
SLOTHY / Run tests
SLOTHY  /  stop-ec2-runner
SLOTHY / stop-ec2-runner
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Determine changed files
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"