Test FFI

feat: cache unsat queries using unsat core #318

Sign in to view logs

Triggered via pull request June 24, 2024 08:46

daejunpark

synchronize #311

feat/unsat-core

Status Success

Total duration 1m 6s

Artifacts –

test-ffi.yml

on: pull_request

Matrix: test