Skip to content

refactor: remove Metals version info from Info #994

refactor: remove Metals version info from Info

refactor: remove Metals version info from Info #994

lint-check

succeeded May 25, 2024 in 6s