switched gen-docs to daily (#1601)
This commit is contained in:
parent
da03fb3034
commit
528766dd76
|
@ -1,9 +1,8 @@
|
|||
name: Generate documentation
|
||||
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
- master
|
||||
schedule:
|
||||
- cron: '0 0 * * *'
|
||||
|
||||
jobs:
|
||||
generate:
|
||||
|
|
Loading…
Reference in New Issue