overview: show git branch

dapphub · Feb 10, 2020 · aa14e42 · aa14e42
1 parent cba5127
commit aa14e42
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 3 deletions.
diff --git a/lib/util.js b/lib/util.js
@@ -82,6 +82,18 @@ const getKlabHEAD = () => {
   });
 }
 
+const getProjectBranch = () => {
+  let branch = "";
+
+  if(testPath('.git')) {
+    branch = execSync(`git rev-parse --abbrev-ref HEAD`, {
+      encoding: 'utf8'
+    }).trim();
+  }
+
+  return branch
+}
+
 const getProjectHEAD = () => {
   var project_HEAD = "";
 

diff --git a/libexec/klab-report b/libexec/klab-report
@@ -16,6 +16,7 @@ const {
   getBuildId,
   getKlabHEAD,
   getProjectHEAD
+  getProjectBranch
 }                   = require("../lib/util.js")
 const fs     = require("fs");
 const KLAB_OUT      = process.env.KLAB_OUT || "out";
@@ -444,7 +445,8 @@ const json_report = {
   [build_hash]: {
     date: new Date(),
     proofs,
-    git: project_HEAD
+    git: project_HEAD,
+    branch: getProjectBranch()
   },
   url: config.url,
   name: config.name

diff --git a/resources/overview.js b/resources/overview.js
@@ -142,7 +142,7 @@ loadJSON(json => {
         h(["div", 'class="proofinfo"'])([
           h(["div", 'class="link"'])([
             h(['a', 'class="build-hash"', `href="${o.hash}"`])(o.hash),
-            h(['span', 'class="proj-hash"'])(`proj: ${o.git}`),
+            h(['span', 'class="git-rev"'])(`rev: ${o.git.substring(0,6)}${o.branch ? ` (${o.branch})` : ''}`),
             h(['div', 'class="info"'])([
               date(o.date),
               h(['span', 'class="running"'])(running ? 'running (' + skip.length + ')' : '')

diff --git a/resources/overview.scss b/resources/overview.scss
@@ -62,7 +62,7 @@ a {
     }
   }
 
-  .proj-hash {
+  .git-rev {
     display: block;
     font-size: 0.7em;
   }