Cleans up github workflows. Enables daily website release.

This commit is contained in:
Henning Dieterichs 2023-09-11 11:58:16 +02:00 committed by Henning Dieterichs
parent fc4b92a890
commit 94c055bcbd
2 changed files with 2 additions and 107 deletions

View file

@ -1,10 +1,8 @@
name: Publish Website
on:
push:
tags:
- 'v*'
# enable users to manually trigger with workflow_dispatch
schedule:
- cron: 0 23 * * *
workflow_dispatch: {}
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages