Test `solidity-verifier` compatibility

Add API for generic data directory #50

Sign in to view logs

Triggered via pull request April 18, 2024 08:50

winston-h-zhang

synchronize #335

cache-witness

Status Success

Total duration 2m 40s

Artifacts –

solidity.yml

on: pull_request

solidity-compat