btor2aiger: Initial version #378

Sign in to view logs

Triggered via push March 8, 2024 21:37

KrystalDelusion

krys/btor2aiger

Status Success

Total duration 4m 56s

Artifacts –

ci.yml

on: push