From 29fcfb08267884460ebc87fd508c3dc73ab79129 Mon Sep 17 00:00:00 2001 From: Cole Mickens Date: Wed, 18 Oct 2023 15:55:40 +0200 Subject: [PATCH] .github: allow trigger ci manually --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dd540b3..349c9cc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,6 +4,7 @@ on: pull_request: push: branches: [main] + workflow_dispatch: jobs: run-x86_64-linux: