btor2aiger: Install btor2aig_yw #389

Sign in to view logs

Triggered via push March 12, 2024 17:59

KrystalDelusion

krys/btor2aiger

Status Success

Total duration 5m 3s

Artifacts –

ci.yml

on: push