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

1 warning

gui (windows-latest, 18)

succeeded Dec 30, 2024 in 5m 30s