PR #6954 Rework docs push - SemanticDiff

Commits

Rework docs push

will-cromar committed 2 years ago
indent

will-cromar committed 2 years ago
gha templating is weird

will-cromar committed 2 years ago
remove token

will-cromar committed 2 years ago
make directory

will-cromar committed 2 years ago
add deploy step

will-cromar committed 2 years ago
steps

will-cromar committed 2 years ago
make deploy step conditional

will-cromar committed 2 years ago
Uncomment since filter works

will-cromar committed 2 years ago
use bot token

will-cromar committed 2 years ago
indentation

will-cromar committed 2 years ago

Loading