Skip to content

Commit

Permalink
Let trigger CI workflow manually
Browse files Browse the repository at this point in the history
  • Loading branch information
mofeing committed Jul 14, 2023
1 parent b778a1b commit d6b281a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/CI.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit d6b281a

Please sign in to comment.