CI

add bool flag for reduce #304

Sign in to view logs

Triggered via push December 20, 2023 07:20

ahmed-irfan

mcsat-glue-reduce

Status Success

Total duration 9m 42s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

1 error

ubuntu-latest|gcov|--enable-mcsat|CC=gcc CXX=g++

unable to access 'https://github.com/SRI-CSL/yices2/': Failed to connect to github.com port 443 after 130551 ms: Connection timed out