PR !4#20750: feat: the envLinter syntax linter

Stream: triage

[Random Issue Bot]

Today I chose PR #20750 for discussion!

feat: the envLinter syntax linter
Created by @damiano (@adomani) on 2025-01-14
Labels: merge-conflict, t-linter, large-import

Is this PR still relevant? Any recent updates? Anyone making progress?

[Damiano Testa]

This was simply a linter that would run #lint automatically at the end of every file: a cheap experiment to see whether catching exceptions that would be picked up by CI anyway would be useful. I'll close the PR, since it was really just an experiment.

[Ruben Van de Velde]

One down!