mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
generate-docs: Only update submodule pointer during scheduled builds
This commit is contained in:
parent
12252743b1
commit
223de9c815
1 changed files with 6 additions and 0 deletions
6
.github/workflows/generate-docs.yml
vendored
6
.github/workflows/generate-docs.yml
vendored
|
@ -34,7 +34,13 @@ jobs:
|
||||||
with:
|
with:
|
||||||
submodules: "recursive"
|
submodules: "recursive"
|
||||||
|
|
||||||
|
# Only reset the submodule pointer for scheduled builds. The reason to do
|
||||||
|
# this is to pick up any merge commits or anything that may have been
|
||||||
|
# missed in a merge, but not have any actual content. We don't want to do
|
||||||
|
# it otherwise because PRs should just use the submodule they're pointing
|
||||||
|
# at.
|
||||||
- name: Switch doc submodule to master
|
- name: Switch doc submodule to master
|
||||||
|
if: github.event_name == 'schedule'
|
||||||
run: cd doc && git checkout master
|
run: cd doc && git checkout master
|
||||||
|
|
||||||
- name: Fetch Dependencies
|
- name: Fetch Dependencies
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue