File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2727 deploy :
2828 runs-on : ubuntu-latest
2929 steps :
30- - name : Checkout coverage branch
31- uses : actions/checkout@v4
32- with :
33- ref : coverage
34-
35- - name : Delete folder and push changes
36- run : |
37- git config user.name github-actions
38- git config user.email github-actions@github.com
39- git checkout coverage
40- # Check if there are files to delete
41- if [ -n "$(git ls-files)" ]; then
42- git rm -rf *
43- git commit -m "Delete all files in coverage branch"
44- git push origin coverage
45- else
46- echo "No files to delete"
47- fi
48-
4930 - name : Checkout main branch
5031 uses : actions/checkout@v4
5132 with :
7455 run : |
7556 git config user.name github-actions
7657 git config user.email github-actions@github.com
77- git checkout -B coverage
78- git pull origin coverage --rebase --force
79- git rebase --strategy=ours origin/coverage
80- git add docs/*.js docs/*.html docs/*.css docs/*.png
58+ git checkout --orphan coverage
59+ git rm -rf .
60+ git add docs
8161 git commit -m "Update coverage report html"
8262 git push origin coverage --force --no-verify
You can’t perform that action at this time.
0 commit comments