sed -i 's/<html>/<script type="text\/javascript" src="focus.js"><\/script><html>/' index.src_*.html
branch=$(basename ${{ github.event.ref }})
mkdir -p gwion-coverage-report/html/$branch
+ gcovr -r -s --filter '.*\.c$' src >> gwion-coverage-report/html/$branch/lines.txt
+ gcovr -r -s --filter '.*\.c$' --branches src >> gwion-coverage-report/html/$branch/branches.txt
mv *.html gwion-coverage-report/html/$branch
cd gwion-coverage-report/html/
for a in */
cp focus.js html
git add -f html
git commit -m "Update html report"
- git push origin :gh-pages || true
git subtree push --prefix html origin gh-pages
- echo $GITHUB_EVENT_NAME $GITHUB_REF
- name: Make html mail
projects / gwion.git / commitdiff