diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8edd1c05e..e8ff5b408 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,6 +4,7 @@ on: push: branches: [main, master] pull_request: + workflow_dispatch: permissions: contents: read diff --git a/.github/workflows/examples-check.yml b/.github/workflows/examples-check.yml index 4ba0e2cd4..9599e703a 100644 --- a/.github/workflows/examples-check.yml +++ b/.github/workflows/examples-check.yml @@ -7,6 +7,7 @@ on: pull_request: branches: - main + workflow_dispatch: jobs: cargo-check-examples: