diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 207ed6bc2..e5913c280 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -5,6 +5,7 @@ on: branches: [ '*' ] pull_request: branches: [ '*' ] + workflow_dispatch: env: PRINCIPIA_HEADERS_ZFP: include