Generate GitHub Pages content

Yubico · Dec 4, 2023 · e838398 · e838398
commit e838398
Show file tree

Hide file tree

Showing 117 changed files with 367,163 additions and 0 deletions.
diff --git a/coverage-badge.json b/coverage-badge.json
@@ -0,0 +1,7 @@
+{
+  "schemaVersion": 1,
+  "label": "mutation coverage",
+  "message": "82 %",
+  "color": "hsl(98, 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 9d08a9d6</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/9d08a9d6dc0c50db79567b0aa2e39dbc467022d7">9d08a9d6</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>