Skip to content

Commit

Permalink
GH action host plugin check if push workked
Browse files Browse the repository at this point in the history
  • Loading branch information
error7404 committed Jun 6, 2024
1 parent fc95864 commit 7164efc
Showing 1 changed file with 12 additions and 2 deletions.
14 changes: 12 additions & 2 deletions host.sh
Original file line number Diff line number Diff line change
Expand Up @@ -21,9 +21,19 @@ rm -rf .js
npm run clearMultisrc
npm run generate
npm run json
git add -f icons .dist .js/plugins total.svg
git commit -m "Host plugins"

tree -L 1

git add -f icons .dist .js/plugins total.svg &&
git commit -m "Host plugins" &&
git push -f origin $dist

if [ $? -eq 1 ]; then
# If push failed
echo "=========="
echo "Could not push branch dist! See the error above and fix it!"
exit 1
fi

git checkout -f $current

0 comments on commit 7164efc

Please sign in to comment.