overview: show git branch

Author: d-xo

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 = "";
 
@@ -124,5 +136,6 @@ module.exports = {
   getBuildId,
   getKlabHEAD,
   getProjectHEAD,
+  getProjectBranch,
   getStatus
 };

libexec/klab-report

@@ -15,7 +15,8 @@ const {
   sha3,
   getBuildId,
   getKlabHEAD,
-  getProjectHEAD
+  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

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,8)}${o.branch ? ` (${o.branch})` : ''}`),
             h(['div', 'class="info"'])([
               date(o.date),
               h(['span', 'class="running"'])(running ? 'running (' + skip.length + ')' : '')

resources/overview.scss

@@ -62,7 +62,7 @@ a {
     }
   }
 
-  .proj-hash {
+  .git-rev {
     display: block;
     font-size: 0.7em;
   }