Browse Source

Try force push

pull/1459/head
Antonio SJ Musumeci 1 month ago
parent
commit
6a3176a55b
  1. 3
      .github/workflows/mkdocs.yml

3
.github/workflows/mkdocs.yml

@ -41,5 +41,6 @@ jobs:
mike deploy "$REF_NAME" "latest" --push --allow-empty --ignore-remote-status --update-aliases mike deploy "$REF_NAME" "latest" --push --allow-empty --ignore-remote-status --update-aliases
mike set-default --push "latest" mike set-default --push "latest"
elif [ "$REF_TYPE" = "branch" ] && [ "$REF_NAME" = "master" ]; then elif [ "$REF_TYPE" = "branch" ] && [ "$REF_NAME" = "master" ]; then
mike deploy master --push --ignore-remote-status --allow-empty
mike deploy master --ignore-remote-status --allow-empty
git push -f origin gh-pages
fi fi
Loading…
Cancel
Save