diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index ac86c77d..a736c985 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,5 +1,6 @@ name: Build on: + workflow_dispatch: push: branches: - 'master' diff --git a/.github/workflows/lint-opam.yml b/.github/workflows/lint-opam.yml index a651b8e8..51ebdc67 100644 --- a/.github/workflows/lint-opam.yml +++ b/.github/workflows/lint-opam.yml @@ -1,5 +1,6 @@ name: Lint Opam on: + workflow_dispatch: pull_request: paths: - '**.opam' diff --git a/.github/workflows/refresh-cache.yml b/.github/workflows/refresh-cache.yml index 49a81d6a..4ecd6be3 100644 --- a/.github/workflows/refresh-cache.yml +++ b/.github/workflows/refresh-cache.yml @@ -1,5 +1,6 @@ name: Refresh cache on: + workflow_dispatch: schedule: - cron: 0 1 * * MON concurrency: