Skip to content

Update .gitignore to include Metals generated folders to support VSCode-based IDEs #13103

Update .gitignore to include Metals generated folders to support VSCode-based IDEs

Update .gitignore to include Metals generated folders to support VSCode-based IDEs #13103

Annotations

2 warnings

gui (ubuntu-latest, 18)

succeeded Dec 30, 2024 in 3m 18s