From bacc2250ba3fe801fd6d3700d808e9a834c19d8b Mon Sep 17 00:00:00 2001
From: Florian <florian@theengs.io>
Date: Mon, 23 Jan 2023 11:40:55 -0600
Subject: [PATCH] [CI] Run development portal building every night (#1415)

Added to manual dispatch
---
 .../{manual_docs_to_dev.yml => build_and_docs_to_dev.yml}       | 2 ++
 1 file changed, 2 insertions(+)
 rename .github/workflows/{manual_docs_to_dev.yml => build_and_docs_to_dev.yml} (97%)

diff --git a/.github/workflows/manual_docs_to_dev.yml b/.github/workflows/build_and_docs_to_dev.yml
similarity index 97%
rename from .github/workflows/manual_docs_to_dev.yml
rename to .github/workflows/build_and_docs_to_dev.yml
index ff5205d..8c83420 100644
--- a/.github/workflows/manual_docs_to_dev.yml
+++ b/.github/workflows/build_and_docs_to_dev.yml
@@ -1,6 +1,8 @@
 name: Build binaries, docs and publish to dev folder
 on:
   workflow_dispatch:
+  schedule:
+    - cron: '0 0 * * *'
 jobs:
   build-upload:
     runs-on: ubuntu-latest