]> Nishi Git Mirror - gwion.git/commitdiff
projects / gwion.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a182b2f)
:wrench: Update, js file
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 23 Feb 2020 13:21:25 +0000 (14:21 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 23 Feb 2020 13:21:25 +0000 (14:21 +0100)
.github/workflows/coverage.yml patch | blob | history
opcode.txt patch | blob | history

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index f1f4a0442afb1fa67f66a89ebaba9cfaca958553..c8de4d8eeac58d6c2f8e9df37ac4c163bf505e23 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -48,7 +48,7 @@ jobs:
         COV_TXT=$(gcovr -s --html-details index.html --html-title "Gwion coverage report" --filter '.*\.c$' src | grep lines | cut -d" " -f2)
         COV_NUM=${COV_TXT: : -1}
         echo $COV_NUM > gwion-coverage-report/coverage_num.txt
-        sed -i 's/<html>/<script type="text\/javascript" src="focus.js"><\/script><html>/' index.src_*.html
+        sed -i 's/<html>/<script type="text\/javascript" src="../focus.js"><\/script><html>/' index.src_*.html
         branch=$(basename ${{ github.event.ref }})
         cd gwion-coverage-report/
         bash old.sh $branch
diff --git a/opcode.txt b/opcode.txt
index 404f82cf4d2ae2b7055dfee2cc7bf843648968de..12be3f3f47ce9f357acf7561cdffef0fc810b739 100644 (file)
--- a/opcode.txt
+++ b/opcode.txt
@@ -166,8 +166,8 @@ PushStaticCode
 GcIni
 GcAdd
 GcEnd
-Gack
 GackEnd
+Gack
 NoOp
 DotTmplVal
 OP_MAX
strongly-timed musical programming language