GaloisInc/cclyzerpp

ci: Compile with `-DCMAKE_BUILD_TYPE=Release` for releases

langston-barrett opened this issue · 0 comments

langston-barrett commented

Releases should be built with optimization.