Closed buzbohdan closed 2 weeks ago
A tiny change to try contributing to Metals Code tested by running it locally
@buzbohdan there is no need to update the branch as everything seems to work fine. And also I need to manually approve the workflow afterwards :sweat_smile:
@tgodzik got it, sorry for extra trouble 😅
A tiny change to try contributing to Metals Code tested by running it locally