Skip to content
Build

[Bitv] Add support for the SMT-LIB2's BV primitives #372

Sign in to view logs

[Bitv] Add support for the SMT-LIB2's BV primitives

[Bitv] Add support for the SMT-LIB2's BV primitives #372

Triggered via pull request July 10, 2023 08:28
@hra687261hra687261
synchronize #669
bv-primitives
Status Failure
Total duration 24m 22s
Artifacts –

build.yml

on: pull_request
Make all
10m 7s
Make all
Make package release
5m 39s
Make package release
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

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