Generate GitHub Pages content

Yubico · Jan 25, 2024 · 91f7078 · 91f7078
commit 91f7078
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 a149b6e1</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/a149b6e177425eb24052cf4da5a9d8fb6499f0e2">a149b6e1</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>