PR #6954 Rework docs push

Rework docs push #6954

will-cromar merged 11 commits into master from wcromar/docs-build

Rework docs push

2817fc43

indent

c6f2bb56

gha templating is weird

bcd899ab

remove token

1a246b16

make directory

2f30eebc

add deploy step

b8431b86

steps

878fe1ad

make deploy step conditional

9013f306

will-cromar force pushed from e6b6aa71 to 9013f306 1 year ago

Uncomment since filter works

0a2c5a68

will-cromar requested a review from

JackCaoG 1 year ago

will-cromar changed the title ~~[WIP] Rework docs push~~ Rework docs push 1 year ago

will-cromar added DO_NOT_MERGE_YET

will-cromar removed review request from

JackCaoG 1 year ago

use bot token

a70bd707

indentation

fdf15983

will-cromar removed DO_NOT_MERGE_YET

will-cromar requested a review from

JackCaoG 1 year ago

will-cromar marked this pull request as ready for review 1 year ago

JackCaoG approved these changes on 2024-04-29

will-cromar merged c91171d5 into master 1 year ago

Reviewers

JackCaoG

Assignees

No one assigned

Labels

None yet

Milestone

No milestone