Skip to content

Merge branch 'dockerfile-minimal' of github.com:opencompl/lean-mlir i…

829f454
Select commit
Loading
Failed to load commit list.
Merged

feat: add minimal dockerfile #1352

Merge branch 'dockerfile-minimal' of github.com:opencompl/lean-mlir i…
829f454
Select commit
Loading
Failed to load commit list.