Skip to content
Test cvc5

Fixes cvc5 mappings #64

Sign in to view logs

Fixes cvc5 mappings

Fixes cvc5 mappings #64

Triggered via pull request August 20, 2024 10:09
@filipeomfilipeom
synchronize #191
fix-cvc5
Status Failure
Total duration 5m 4s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
4m 53s
test-cvc5
Fit to window
Zoom out
Zoom in

Annotations

2 errors
test-cvc5
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
test-cvc5
The operation was canceled.