Added .tool-versions
file and Metals to .gitignore
(#196)
#212
This job succeeded
Loading
.tool-versions
file and Metals to .gitignore
(#196)
#212