Skip to content

Lint a random file#5036

Closed
osc-bot wants to merge 1 commit intoOSC:masterfrom
osc-bot:osc-bot/random-linted-file
Closed

Lint a random file#5036
osc-bot wants to merge 1 commit intoOSC:masterfrom
osc-bot:osc-bot/random-linted-file

Conversation

@osc-bot
Copy link
Collaborator

@osc-bot osc-bot commented Jan 31, 2026

The result of linting a random file.

@osc-bot osc-bot force-pushed the osc-bot/random-linted-file branch from 79c2214 to f99ea99 Compare February 1, 2026 04:17
@johrstrom
Copy link
Contributor

Probably shouldn't even be linting files right now while we're in a release cycle.

@johrstrom johrstrom closed this Feb 2, 2026
@github-project-automation github-project-automation bot moved this from Awaiting Review to Merged/Closed in PR Review Pipeline Feb 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants