diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 709c6e46..8ab5ba99 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -15,6 +15,7 @@ on: - '**.jl' - 'docs/*' - '.github/workflows/CI.yml' + workflow_dispatch: concurrency: # Skip intermediate builds: always. # Cancel intermediate builds: only if it is a pull request build.