-
-
Notifications
You must be signed in to change notification settings - Fork 12
Pull requests: arduino/arduino-lint
Pull requests list
Remove vestigial "to do" comment from workflow
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#953
by per1234
was merged Sep 14, 2025
Loading...
Removed broken links from installation docs
conclusion: invalid
Issue/PR not valid
topic: documentation
Related to documentation for the project
type: imperfection
Perceived defect in any part of project
#763
by cmaglie
was closed Oct 8, 2024
Loading...
Bump github.com/arduino/go-properties-orderedmap from 1.8.0 to 1.8.1
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#739
by dependabot
bot
was merged Jun 6, 2024
Loading...
Bump pytest from 7.4.1 to 7.4.2
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#596
by dependabot
bot
was merged Sep 8, 2023
Loading...
Bump pytest from 7.1.1 to 7.1.2
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#373
by dependabot
bot
was merged Apr 25, 2022
Loading...
ProTip!
Follow long discussions with comments:>50.