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

Triggered via pull request May 25, 2024 11:24
Status Success
Total duration 35s
Artifacts

ci.yml

on: pull_request
lint-check
6s
lint-check
format-check
3s
format-check
Matrix: Run tests
Fit to window
Zoom out
Zoom in