Skip to content

ci: Allow lint workflow to be manually triggered#3714

Merged
polarathene merged 2 commits intomasterfrom
ci/lint-allow-manual-trigger
Dec 19, 2023
Merged

ci: Allow lint workflow to be manually triggered#3714
polarathene merged 2 commits intomasterfrom
ci/lint-allow-manual-trigger

Conversation

@polarathene
Copy link
Copy Markdown
Member

@polarathene polarathene commented Dec 19, 2023

Description

It seemed like the linting workflow might have been possible to ignore the required check, but that was not the case.

New attempt is to allow maintainers to activate the linting workflow via workflow_dispatch trigger. This can be accessed via the Actions tab with a dropdown on the workflow to select what branch to run it on.

image

Without this a different event must occur to trigger the workflow, which is inconvenient for automated PRs.

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • Improvement (non-breaking change that does improve existing functionality)

Checklist:

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • New and existing unit tests pass locally with my changes
  • I have added information about changes made in this PR to CHANGELOG.md

Without this a different event must occur to trigger the workflow, which is inconvenient for automated PRs.
@polarathene polarathene added area/ci kind/improvement Improve an existing feature, configuration file or the documentation kind/bug/fix A fix (PR) for a confirmed bug labels Dec 19, 2023
@polarathene polarathene added this to the v13.1.0 milestone Dec 19, 2023
@polarathene polarathene self-assigned this Dec 19, 2023
@polarathene polarathene merged commit 03052a6 into master Dec 19, 2023
@polarathene polarathene deleted the ci/lint-allow-manual-trigger branch December 19, 2023 06:00
reneploetz pushed a commit to reneploetz/docker-mailserver that referenced this pull request Dec 20, 2023
)

* ci: Allow lint workflow to be manually triggered

Without this a different event must occur to trigger the workflow, which is inconvenient for automated PRs.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/ci kind/bug/fix A fix (PR) for a confirmed bug kind/improvement Improve an existing feature, configuration file or the documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants