Skip to content
CI

Use CVC5 instead of Z3 #7

Sign in to view logs

Use CVC5 instead of Z3

Use CVC5 instead of Z3 #7

Triggered via pull request November 9, 2024 21:12
@AllanBlanchardAllanBlanchard
opened #69
config/move-from-z3-to-cvc5
Status Failure
Total duration 5m 19s
Artifacts –

ci.yml

on: pull_request
EN version
1m 26s
EN version
FR version
1m 27s
FR version
Check code
5m 9s
Check code
Fit to window
Zoom out
Zoom in

Annotations

2 errors
EN version
Process completed with exit code 2.
FR version
Process completed with exit code 2.