btor2aiger: Initial version #375

Sign in to view logs

Triggered via push March 5, 2024 05:42

KrystalDelusion

krys/btor2aiger

Status Success

Total duration 5m 8s

Artifacts –

ci.yml

on: push