Deploy docs, take 3

This commit is contained in:
Victor Zverovich 2024-06-09 17:26:37 -07:00
parent c7252b3344
commit 33a1de57af
2 changed files with 3 additions and 4 deletions

View File

@ -39,4 +39,4 @@ jobs:
cmake $GITHUB_WORKSPACE
$GITHUB_WORKSPACE/support/mkdocs deploy dev
cd $GITHUB_WORKSPACE/build/fmt.dev
git push https://$KEY@github.com/fmtlib/fmt.git
git push https://$KEY@github.com/fmtlib/fmt.dev.git

View File

@ -20,9 +20,8 @@ args = sys.argv[1:]
if len(args) > 0:
command = args[0]
if command == 'deploy':
site_repo = 'git@github.com:fmtlib/fmt.dev.git'
if 'CI' in os.environ:
site_repo = 'https://github.com/fmtlib/fmt.dev.git'
git_url = 'https://github.com/' if 'CI' in os.environ else 'git@github.com:'
site_repo = git_url + 'fmtlib/fmt.dev.git'
site_dir = os. path.join(build_dir, 'fmt.dev')
try: