Skip to content
Build

Print always smtlib comments in the models #184

Sign in to view logs

Print always smtlib comments in the models

Print always smtlib comments in the models #184

Triggered via push August 29, 2023 12:03
@HalbarothHalbaroth
pushed 77de5ad
cherry-pick-optimae
Status Failure
Total duration 20m 16s
Artifacts –

build.yml

on: push
Make all
7m 52s
Make all
Make package release
0s
Make package release
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build (ubuntu-latest, 4.10.1)
Process completed with exit code 2.
Make all
Process completed with exit code 2.
build (macos-latest, 4.10.1)
Process completed with exit code 2.