Skip to content

Disable revive linter. - #116

Merged
phiryll merged 1 commit into
mainfrom
disable-revive-linter
Jul 21, 2026
Merged

Disable revive linter.#116
phiryll merged 1 commit into
mainfrom
disable-revive-linter

Conversation

@phiryll

@phiryll phiryll commented Jul 21, 2026

Copy link
Copy Markdown
Owner

It's turning out to be more trouble than it's worth, and it's flaky on
github actions.

It's turning out to be more trouble than it's worth, and it's flaky on
github actions.
@phiryll
phiryll merged commit 9bdfdce into main Jul 21, 2026
8 checks passed
@phiryll
phiryll deleted the disable-revive-linter branch July 24, 2026 20:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant