diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 134a6d4033..3088ad0bd2 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -1,8 +1,7 @@ name: Build and test on: -- push -- pull_request +- workflow_dispatch env: BUILD_TYPE: RelWithDebInfo