Skip to content

Merge branch 'master' into mcsat-target-best #549

Merge branch 'master' into mcsat-target-best

Merge branch 'master' into mcsat-target-best #549

Annotations

1 warning

ubuntu-latest|debug|--enable-thread-safety --enable-mcsat|CC=gcc CXX=g++

succeeded Jan 9, 2025 in 9m 47s
Set up job
1s
Run actions/checkout@v4
2s
Install Dependencies
34s
Build
2m 35s
Test
6m 34s
Coverage
0s
Coveralls
0s
Post Run actions/checkout@v4
0s
Complete job
0s