Skip to content

Lint: just lint-light --all on GitHub#135

Merged
OpsBotPrime merged 2 commits into
masterfrom
reinier/lint-all-on-github
Jul 16, 2026
Merged

Lint: just lint-light --all on GitHub#135
OpsBotPrime merged 2 commits into
masterfrom
reinier/lint-all-on-github

Conversation

@ReinierMaas

Copy link
Copy Markdown
Contributor

@OpsBotPrime merge!

@ReinierMaas ReinierMaas self-assigned this Jul 16, 2026
Approved-by: ReinierMaas
Priority: Normal
Auto-deploy: false
@OpsBotPrime

Copy link
Copy Markdown
Contributor

Rebased as e4e7fea, waiting for CI …

@OpsBotPrime

Copy link
Copy Markdown
Contributor

CI job 🟡 started.

@OpsBotPrime OpsBotPrime merged commit e4e7fea into master Jul 16, 2026
6 of 7 checks passed
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.

2 participants