From 0e67dfc768e7ef5407fd715e5f913de020496680 Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Tue, 14 Jan 2025 14:08:58 +0100
Subject: [PATCH] Allow manual triggering of CI actions

---
 .github/workflows/build.yml         | 1 +
 .github/workflows/lint-opam.yml     | 1 +
 .github/workflows/refresh-cache.yml | 1 +
 3 files changed, 3 insertions(+)

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: