Skip to content
ci

Pre-format conditional flags in write_btor #385

Sign in to view logs

Pre-format conditional flags in write_btor

Pre-format conditional flags in write_btor #385

Triggered via push March 11, 2024 22:18
@KrystalDelusionKrystalDelusion
pushed 5c762ad
krys/btor2aiger
Status Success
Total duration 4m 50s
Artifacts –

ci.yml

on: push
build
4m 42s
build
Fit to window
Zoom out
Zoom in