1 files changed, 1 insertions, 0 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh
index 5b84c28..6f18f0f 100755
--- a/aux/ci/report.sh
+++ b/aux/ci/report.sh
@@ -93,6 +93,7 @@ done
 
 cat <<EOF >> "$OUT"
       </ol>
+    </main>
   </body>
 </html>
 EOF