Skip to content

Commit

Permalink
Merge pull request #3 from AlexCatarino/master
Browse files Browse the repository at this point in the history
Fixes GitHub Action
  • Loading branch information
jaredbroad authored Jul 27, 2022
2 parents 0ffc43f + 3e5873d commit 3bef5a7
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions .github/workflows/gh_actions.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,12 +33,14 @@ jobs:
mv -f ./_docs/search.css ./_docs/search/
mv -f ./_docs/close.png ./_docs/search/
mv -f ./_docs/mag_sel.png ./_docs/search/
rm -r Lean
- name: Commit and Push
run: |-
git config --global user.email "[email protected]"
git config --global user.name "GitHub Actions"
git checkout published
git fetch origin
git checkout -f published
git add -A
git commit --allow-empty -m "Updates Documentation"
git push origin published
git push origin published -f

0 comments on commit 3bef5a7

Please sign in to comment.