Allow manual triggering of CI actions

4ever2 · Jan 14, 2025 · 0e67dfc · 0e67dfc
1 parent 0e112c6
commit 0e67dfc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git 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
@@ -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
@@ -1,5 +1,6 @@
 name: Refresh cache
 on:
+  workflow_dispatch:
   schedule:
     - cron: 0 1 * * MON
 concurrency: