chore: add cover for 23ea2f4

gha-common · May 14, 2024 · 0f12c72 · 0f12c72
1 parent 59ec6a3
commit 0f12c72
Show file tree

Hide file tree

Showing 2 changed files with 203 additions and 78 deletions.
diff --git a/23ea2f4dc709eec915563d2569382ccae09f4162.html b/23ea2f4dc709eec915563d2569382ccae09f4162.html
@@ -0,0 +1,125 @@
+
+<!DOCTYPE html>
+<html>
+	<head>
+		<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+		<title>cointoss: Go Coverage Report</title>
+		<style>@import url("nord.css");
+			body {
+				background: black;
+				color: rgb(80, 80, 80);
+			}
+			body, pre, #legend span {
+				font-family: Menlo, monospace;
+				font-weight: bold;
+			}
+			#topbar {
+				background: black;
+				position: fixed;
+				top: 0; left: 0; right: 0;
+				height: 42px;
+				border-bottom: 1px solid rgb(80, 80, 80);
+			}
+			#content {
+				margin-top: 50px;
+			}
+			#nav, #legend {
+				float: left;
+				margin-left: 10px;
+			}
+			#legend {
+				margin-top: 12px;
+			}
+			#nav {
+				margin-top: 10px;
+			}
+			#legend span {
+				margin: 0 5px;
+			}
+			.cov0 { color: rgb(192, 0, 0) }
+.cov1 { color: rgb(128, 128, 128) }
+.cov2 { color: rgb(116, 140, 131) }
+.cov3 { color: rgb(104, 152, 134) }
+.cov4 { color: rgb(92, 164, 137) }
+.cov5 { color: rgb(80, 176, 140) }
+.cov6 { color: rgb(68, 188, 143) }
+.cov7 { color: rgb(56, 200, 146) }
+.cov8 { color: rgb(44, 212, 149) }
+.cov9 { color: rgb(32, 224, 152) }
+.cov10 { color: rgb(20, 236, 155) }
+
+		</style>
+	</head>
+	<body>
+		<div id="topbar">
+			<div id="nav">
+				<select id="files">
+
+				<option value="file0">cointoss/main.go (66.7%)</option>
+
+				</select>
+			</div>
+			<div id="legend">
+				<span>not tracked</span>
+
+				<span class="cov0">not covered</span>
+				<span class="cov8">covered</span>
+
+			</div>
+		</div>
+		<div id="content">
+
+		<pre class="file" id="file0" style="display: none">package main
+
+import (
+        "fmt"
+        "math/rand"
+)
+
+func main() <span class="cov8" title="1">{
+        if tossCoin() == "heads" </span><span class="cov8" title="1">{
+                fmt.Println("Heads")
+        }</span> else<span class="cov0" title="0"> {
+                fmt.Println("Tails")
+        }</span>
+}
+
+func tossCoin() string <span class="cov8" title="1">{
+        if rand.Intn(2) == 0 </span><span class="cov8" title="1">{
+                return "heads"
+        }</span> else<span class="cov0" title="0"> {
+                return "tails"
+        }</span>
+}
+</pre>
+
+		</div>
+	</body>
+	<script>
+	(function() {
+		var files = document.getElementById('files');
+		var visible;
+		files.addEventListener('change', onChange, false);
+		function select(part) {
+			if (visible)
+				visible.style.display = 'none';
+			visible = document.getElementById(part);
+			if (!visible)
+				return;
+			files.value = part;
+			visible.style.display = 'block';
+			location.hash = part;
+		}
+		function onChange() {
+			select(files.value);
+			window.scrollTo(0, 0);
+		}
+		if (location.hash != "") {
+			select(location.hash.substr(1));
+		}
+		if (!visible) {
+			select("file0");
+		}
+	})();
+	</script><script src="ln.js"></script>
+</html>
diff --git a/index.html b/index.html
@@ -1,78 +1,78 @@
-<!DOCTYPE html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <title>Waiting for GitHub Pages Deployment</title>
-    <style>
-      @import url('nord.css');
-      body {
-        height: 100vh;
-        margin: 0;
-        display: flex;
-        flex-direction: column;
-        align-items: center;
-        justify-content: center;
-        gap: 10px;
-      }
-      #spinner {
-        display: none;
-        border: 4px solid var(--nord1);
-        border-top: 4px solid var(--nord3);
-        border-radius: 50%;
-        width: 25px;
-        height: 25px;
-        animation: spin 2s linear infinite;
-      }
-      p {
-        font-size: 12px;
-      }
-      @keyframes spin {
-        0% { transform: rotate(0deg); }
-        100% { transform: rotate(360deg); }
-      }
-    </style>
-    <script>
-      function getHashFromQueryString() {
-        const params = new URLSearchParams(window.location.search);
-        return params.get("hash");
-      }
-
-      async function checkFileExists(url) {
-        try {
-          const response = await fetch(url, { method: "HEAD" });
-          return response.ok;
-        } catch (error) {
-          return false;
-        }
-      }
-
-      async function waitForFileToExist(url, interval = 2000) {
-        while (true) {
-          if (await checkFileExists(url)) {
-            return true;
-          }
-          await new Promise((resolve) => setTimeout(resolve, interval));
-        }
-      }
-
-      async function loadContent() {
-        const spinner = document.getElementById("spinner");
-        const hash = getHashFromQueryString();
-        const fileUrl = `${hash}.html`;
-
-        spinner.style.display = "block";
-
-        await waitForFileToExist(fileUrl);
-
-        window.location.href = fileUrl;
-      }
-
-      document.addEventListener("DOMContentLoaded", loadContent);
-
-    </script>
-  </head>
-  <body>
-    <div id="spinner"></div>
-    <p>Waiting for GitHub Pages Deployment</p>
-  </body>
-</html>
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8">
+    <title>Waiting for GitHub Pages Deployment</title>
+    <style>
+      @import url('nord.css');
+      body {
+        height: 100vh;
+        margin: 0;
+        display: flex;
+        flex-direction: column;
+        align-items: center;
+        justify-content: center;
+        gap: 10px;
+      }
+      #spinner {
+        display: none;
+        border: 4px solid var(--nord1);
+        border-top: 4px solid var(--nord3);
+        border-radius: 50%;
+        width: 25px;
+        height: 25px;
+        animation: spin 2s linear infinite;
+      }
+      p {
+        font-size: 12px;
+      }
+      @keyframes spin {
+        0% { transform: rotate(0deg); }
+        100% { transform: rotate(360deg); }
+      }
+    </style>
+    <script>
+      function getHashFromQueryString() {
+        const params = new URLSearchParams(window.location.search);
+        return params.get("hash");
+      }
+
+      async function checkFileExists(url) {
+        try {
+          const response = await fetch(url, { method: "HEAD" });
+          return response.ok;
+        } catch (error) {
+          return false;
+        }
+      }
+
+      async function waitForFileToExist(url, interval = 2000) {
+        while (true) {
+          if (await checkFileExists(url)) {
+            return true;
+          }
+          await new Promise((resolve) => setTimeout(resolve, interval));
+        }
+      }
+
+      async function loadContent() {
+        const spinner = document.getElementById("spinner");
+        const hash = getHashFromQueryString();
+        const fileUrl = `${hash}.html`;
+
+        spinner.style.display = "block";
+
+        await waitForFileToExist(fileUrl);
+
+        window.location.href = fileUrl;
+      }
+
+      document.addEventListener("DOMContentLoaded", loadContent);
+
+    </script>
+  </head>
+  <body>
+    <div id="spinner"></div>
+    <p>Waiting for GitHub Pages Deployment</p>
+  </body>
+</html>