From 7effb361ea610c03ea7e2498029b18e2345a080d Mon Sep 17 00:00:00 2001 From: Benedikt Franke Date: Fri, 18 Oct 2024 13:25:03 +0200 Subject: [PATCH] Added manual workflow trigger --- .github/workflows/main.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index cab2ec7..d85b7e8 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -8,6 +8,7 @@ name: Main on: - push - pull_request + - workflow_dispatch jobs: lint-code: