Skip to content

Add an option to disable incremental compilation with zinc#2851

Merged
lefou merged 7 commits intocom-lihaoyi:mainfrom mrdziuban:disable-incremental-compilationNov 2, 2023