From 72dd95c36203f1012928dabd23c58235616144fd Mon Sep 17 00:00:00 2001 From: Marcin Szamotulski Date: Thu, 26 Sep 2024 18:35:18 +0200 Subject: [PATCH] github-page: rebuild on pushes to the main branch --- .github/workflows/github-page.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/github-page.yml b/.github/workflows/github-page.yml index e36240c8..45e01ee2 100644 --- a/.github/workflows/github-page.yml +++ b/.github/workflows/github-page.yml @@ -1,8 +1,9 @@ name: Haddocks on: - schedule: - - cron: '0 0 * * *' + push: + branches: + - main workflow_dispatch: jobs: