Generate GitHub Pages content

Yubico · Jul 1, 2024 · 539967b · 539967b
commit 539967b
Show file tree

Hide file tree

Showing 117 changed files with 368,979 additions and 0 deletions.
diff --git a/coverage-badge.json b/coverage-badge.json
@@ -0,0 +1,7 @@
+{
+  "schemaVersion": 1,
+  "label": "mutation coverage",
+  "message": "81 %",
+  "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 563e5c34</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/563e5c34d047673dd70f4b849047b2c948a14766">563e5c34</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>