-
-
Notifications
You must be signed in to change notification settings - Fork 12
Pull requests: arduino/arduino-lint
Pull requests list
Add release process and update version string
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#118
by silvanocerza
was closed Dec 21, 2020
Loading...
Rework dist process and add minimal documentation
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#137
by silvanocerza
was merged Jan 7, 2021
Loading...
Updated arduino-cli to 0.35.x branch with a lot of libraries
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#761
by cmaglie
was merged Oct 28, 2024
Loading...
Bump go.bug.st/relaxed-semver from 0.11.0 to 0.12.0
conclusion: duplicate
Has already been submitted
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#645
by dependabot
bot
was closed Apr 11, 2025
Loading...
Add integration tests
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#101
by per1234
was merged Dec 15, 2020
Loading...
Bump github.com/ory/jsonschema/v3 from 3.0.3 to 3.0.4
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#279
by dependabot
bot
was merged Nov 22, 2021
Loading...
[skip changelog] New release process that doesn't use goreleaser
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#120
by silvanocerza
was merged Dec 22, 2020
Loading...
Add documentation website
topic: documentation
Related to documentation for the project
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#111
by per1234
was merged Dec 18, 2020
Loading...
Bump github.com/JohannesKaufmann/html-to-markdown from 1.4.0 to 1.6.0 in /ruledocsgen
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#735
by dependabot
bot
was merged Nov 25, 2024
Loading...
Publish generated list of rules on documentation website
topic: code
Related to content of the project itself
topic: documentation
Related to documentation for the project
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#261
by per1234
was merged Aug 26, 2021
Loading...
Add release installation support
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#123
by per1234
was merged Dec 21, 2020
Loading...
Bump github.com/stretchr/testify from 1.8.2 to 1.8.4
conclusion: duplicate
Has already been submitted
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#555
by dependabot
bot
was closed Dec 7, 2023
Loading...
Bump github.com/stretchr/testify from 1.8.2 to 1.8.4 in /ruledocsgen
status: on hold
Do not proceed at this time
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#557
by dependabot
bot
was closed Dec 7, 2023
Loading...
Bump codecov/codecov-action from 3 to 4
conclusion: duplicate
Has already been submitted
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#602
by dependabot
bot
was closed Nov 15, 2024
Loading...
Bump github.com/go-git/go-git/v5 from 5.12.0 to 5.13.0
conclusion: duplicate
Has already been submitted
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#820
by dependabot
bot
was closed Jan 29, 2025
Loading...
Bump MrOctopus/download-asset-action from 1.0 to 1.1
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#604
by dependabot
bot
was merged Aug 26, 2025
Loading...
[skip changelog] Update create changelog action
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#138
by silvanocerza
was merged Jan 7, 2021
Loading...
Use Codecov for recording and reporting code coverage information
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#108
by per1234
was merged Jan 13, 2021
Loading...
Add CI workflow to check for broken links in documentation
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#9
by per1234
was merged Oct 27, 2020
Loading...
Bump mkdocs-material from 7.2.8 to 7.3.3
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#286
by dependabot
bot
was closed Nov 15, 2021
Loading...
Bump github.com/go-git/go-git/v5 from 5.4.2 to 5.5.0
conclusion: declined
Will not be worked on
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#465
by dependabot
bot
was closed Dec 6, 2022
Loading...
Bump github.com/go-git/go-git/v5 from 5.4.2 to 5.5.1
conclusion: declined
Will not be worked on
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#468
by dependabot
bot
was closed Dec 12, 2022
Loading...
Bump github.com/go-git/go-git/v5 from 5.4.2 to 5.5.2
conclusion: declined
Will not be worked on
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#476
by dependabot
bot
was closed Mar 1, 2023
Loading...
Bump golang.org/x/net from 0.2.0 to 0.7.0 in /docsgen
conclusion: duplicate
Has already been submitted
topic: infrastructure
Related to project infrastructure
topic: security
Related to the protection of user data
type: imperfection
Perceived defect in any part of project
#501
by dependabot
bot
was closed Mar 13, 2023
Loading...
Bump github.com/spf13/cobra from 1.6.1 to 1.7.0 in /docsgen
conclusion: duplicate
Has already been submitted
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#521
by dependabot
bot
was closed May 11, 2023
Loading...
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.