Skip to content

Docker: use CIRCT 1.72.0 binary distro, set env vars

Sergey Smolov requested to merge optimize.dockerfile into main

Signed-off-by: Sergey Smolov smolov@ispras.ru

Merge request reports