Skip to content

(Automated) Bump linter - #371

Closed
flathubbot wants to merge 1 commit into
masterfrom
create-pull-request/patch-81mf5jy
Closed

(Automated) Bump linter#371
flathubbot wants to merge 1 commit into
masterfrom
create-pull-request/patch-81mf5jy

Conversation

@flathubbot

Copy link
Copy Markdown
Contributor

Bump linter to 217982d532869bcb58c840b02ab67b907fdd6c4d

Bump linter to 217982d532869bcb58c840b02ab67b907fdd6c4d
@flathubbot

Copy link
Copy Markdown
Contributor Author

🚧 Test build enqueued.

@flathubbot

Copy link
Copy Markdown
Contributor Author

🚧 Started test build.

@github-actions
github-actions Bot enabled auto-merge (rebase) November 26, 2025 02:34
@flathubbot

Copy link
Copy Markdown
Contributor Author

Test build was cancelled.

Help
  • bot, build - Restart the test build
  • bot, ping admins - Contact Flathub admins

@bbhtt bbhtt closed this Nov 26, 2025
auto-merge was automatically disabled November 26, 2025 02:46

Pull request was closed

@bbhtt
bbhtt deleted the create-pull-request/patch-81mf5jy branch November 26, 2025 02:46
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