From e20ad467e3cc94070f7efaf1c137f009607a2444 Mon Sep 17 00:00:00 2001
From: Arthur Meyre <arthur.meyre@zama.ai>
Date: Tue, 9 Nov 2021 17:48:51 +0100
Subject: [PATCH] chore: allow to manually run the package watcher to update
 the env docker

---
 .github/workflows/package-watcher.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/package-watcher.yaml b/.github/workflows/package-watcher.yaml
index 5fd36b4ef..034de6b29 100644
--- a/.github/workflows/package-watcher.yaml
+++ b/.github/workflows/package-watcher.yaml
@@ -7,6 +7,9 @@ on:
     # Timezone is UTC, so Paris time is +2 during the summer and +1 during winter
     - cron: '0 6-20 * * 1-5'
 
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
 env:
   ACTION_RUN_URL: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}