Generate GitHub Pages content

Yubico · Jan 16, 2025 · bd4368e · bd4368e
commit bd4368e
Show file tree

Hide file tree

Showing 120 changed files with 400,492 additions and 0 deletions.
diff --git a/coverage-badge.json b/coverage-badge.json
@@ -0,0 +1,7 @@
+{
+  "schemaVersion": 1,
+  "label": "mutation coverage",
+  "message": "78 %",
+  "color": "hsl(94, 100%, 40%)",
+  "cacheSeconds": 3600
+}
diff --git a/index.html b/index.html
@@ -0,0 +1,15 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
+<html lang="en">
+  <head>
+    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+    <title>Mutation test report index - java-webauthn-server 798ec038</title>
+  </head>
+  <body style="padding: 1em 2em">
+    <h2>Mutation test reports for java-webauthn-server <a href="https://github.com/Yubico/java-webauthn-server/commit/798ec0388a5b835833dcd428ab290044b80cf2da">798ec038</a>:</h2>
+    <ul>
+      <li><a href="mutation-coverage-reports/webauthn-server-attestation/">webauthn-server-attestation</a></li>
+      <li><a href="mutation-coverage-reports/webauthn-server-core/">webauthn-server-core</a></li>
+      <li><a href="mutation-coverage-reports/yubico-util/">yubico-util</a></li>
+    </ul>
+  </body>
+</html>