Update 'docs' folder with ci_updates and delete old branches.

RWTH-EBC · Jun 27, 2024 · e480053 · e480053
1 parent 09ed987
commit e480053
Show file tree

Hide file tree

Showing 4 changed files with 20,702 additions and 20,701 deletions.
diff --git a/docs/ci_updates/index.html b/docs/ci_updates/index.html
@@ -8,6 +8,7 @@
           </head>
           <body>
             <header>
+    	      <br><li><a href="ci/result/naming_violations.txt" target="content">ci/result/naming_violations.txt</a></li></br>
     	      <br><li><a href="ci/result/syntax/HTML_error_log.txt" target="content">ci/result/syntax/HTML_error_log.txt</a></li></br>
     	      <br><li><a href="ci/result/syntax/HTML_correct_log.txt" target="content">ci/result/syntax/HTML_correct_log.txt</a></li></br>
             </header>