From c4118e94cad46279cb304b181bf5fc65a2a387f6 Mon Sep 17 00:00:00 2001 From: Reidar Johansen Date: Fri, 5 Apr 2024 15:16:06 +0200 Subject: [PATCH] Add manual lint run --- .github/workflows/lint.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml index fbc32555..122a88a9 100644 --- a/.github/workflows/lint.yaml +++ b/.github/workflows/lint.yaml @@ -1,6 +1,7 @@ name: Tidy on: + workflow_dispatch: push: # Run every time a shell script changes paths: