diff --git a/.github/workflows/gh_actions.yml b/.github/workflows/gh_actions.yml index be689b672..bfd170bec 100644 --- a/.github/workflows/gh_actions.yml +++ b/.github/workflows/gh_actions.yml @@ -23,7 +23,7 @@ jobs: - name: Generate Documentation run: | - cp Doxyfile MAIN_PAGE.md ./Lean + cp Doxyfile MAIN_PAGE.md ./custom-styles/style.css ./Lean cd Lean doxygen cd .. @@ -35,12 +35,15 @@ jobs: mv -f ./_docs/mag_sel.png ./_docs/search/ rm -r Lean - - name: Commit and Push + - name: Delete Current "published" Branch run: |- git config --global user.email "actions@users.noreply.github.com" git config --global user.name "GitHub Actions" - git fetch origin - git checkout -f published + git push origin --delete published + + - name: Commit and Push + run: |- + git checkout -b published git add -A git commit --allow-empty -m "Updates Documentation" git push origin published -f \ No newline at end of file diff --git a/.github/workflows/gh_actions_daily_release.yml b/.github/workflows/gh_actions_daily_release.yml index e0b9613b5..c0a7e821f 100644 --- a/.github/workflows/gh_actions_daily_release.yml +++ b/.github/workflows/gh_actions_daily_release.yml @@ -57,6 +57,6 @@ jobs: GITHUB_TOKEN: ${{ github.token }} with: upload_url: ${{ steps.create_release.outputs.upload_url }} - asset_path: ./Lean/documentation.zip + asset_path: ./documentation.zip asset_name: documentation.zip asset_content_type: application/zip \ No newline at end of file