From c6c39ea01b3387c22ff770ad38c7114b869c7e7e Mon Sep 17 00:00:00 2001
From: Ugo Pattacini <ugo.pattacini@iit.it>
Date: Mon, 21 Feb 2022 14:41:19 +0100
Subject: [PATCH] trigger GH actions manually too

---
 .github/workflows/ci.yml       | 1 +
 .github/workflows/gh-pages.yml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0f5098ad..fd11a433 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -11,6 +11,7 @@ on:
   # * is a special character in YAML so you have to quote this string
   # Execute a "nightly" build at 2 AM UTC 
   - cron:  '0 2 * * *'
+  workflow_dispatch:
     
 jobs:
   build:
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 6c59e819..dc6fe6ef 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
     - 'master'
+  workflow_dispatch:  
 
 jobs:
   docs: