mirror/docker-mailserver.docker-mailserver
1
0
Fork 0
mirror of https://github.com/docker-mailserver/docker-mailserver.git synced 2025-08-04 10:05:00 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

ci: Allow lint workflow to be manually triggered (#3714)

Browse source 
* 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.
This commit is contained in:
Brennan Kinney 2023-12-19 18:59:59 +13:00 • committed by GitHub
parent ca2c53dde7
commit 03052a65b8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/linting.yml vendored
View file

@ -1,10 +1,10 @@
name: Lint
on:
# A workflow that creates a PR will not trigger this workflow,
# Providing a manual trigger as a workaround
workflow_dispatch:
pull_request:
paths-ignore:
# Managed by workflow: contributors.yml
- CONTRIBUTORS.md
push:
branches: [ master ]