diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml index ff69fd343..de9590807 100644 --- a/.github/workflows/compile.yml +++ b/.github/workflows/compile.yml @@ -1,6 +1,6 @@ name: CI -on: [push, pull_request] +on: [push, pull_request, workflow_dispatch] jobs: build: