Test FFI

disable ci caches + pin z3-solver==4.12.2.0 #122

Sign in to view logs

Triggered via pull request December 21, 2023 02:47

daejunpark

synchronize #235

dep/z3

Status Success

Total duration 2m 6s

Artifacts –

test-ffi.yml

on: pull_request

Matrix: test