From 0746ac0df51030f49bd535fa7b44e648cec6034a Mon Sep 17 00:00:00 2001 From: Grzegorz Banasiak Date: Thu, 15 Jun 2023 16:19:53 +0200 Subject: [PATCH] Add daily schedule and manual trigger to GitHub Actions CI workflow (#1736) --- .github/workflows/ci.yml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 16c83d092..1afc59a71 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,12 @@ name: CI -on: [push, pull_request] +on: + push: + pull_request: + schedule: + - cron: '0 14 * * *' + # Allows triggering the job manually + workflow_dispatch: permissions: contents: read