Actions: Update code coverage for main

conjure-cp · Apr 1, 2024 · 74a6938 · 74a6938
1 parent 5e84896
commit 74a6938
Show file tree

Hide file tree

Showing 89 changed files with 5,127 additions and 4,324 deletions.
diff --git a/coverage/main/conjure_oxide/src/find_conjure.rs.html b/coverage/main/conjure_oxide/src/find_conjure.rs.html
@@ -1042,7 +1042,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/src/index.html b/coverage/main/conjure_oxide/src/index.html
@@ -67,7 +67,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/src/utils/conjure.rs.html b/coverage/main/conjure_oxide/src/utils/conjure.rs.html
@@ -1762,7 +1762,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/src/utils/index.html b/coverage/main/conjure_oxide/src/utils/index.html
@@ -139,7 +139,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/src/utils/json.rs.html b/coverage/main/conjure_oxide/src/utils/json.rs.html
@@ -135,8 +135,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="620">
-                620
+                role="cell" aria-label="645">
+                645
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -151,8 +151,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="620">
-                620
+                role="cell" aria-label="645">
+                645
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -295,8 +295,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="135">
-                135
+                role="cell" aria-label="145">
+                145
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -311,8 +311,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="135">
-                135
+                role="cell" aria-label="145">
+                145
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -327,8 +327,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="135">
-                135
+                role="cell" aria-label="145">
+                145
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -343,8 +343,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="135">
-                135
+                role="cell" aria-label="145">
+                145
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -359,8 +359,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="135">
-                135
+                role="cell" aria-label="145">
+                145
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -439,8 +439,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="485">
-                485
+                role="cell" aria-label="500">
+                500
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -471,8 +471,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="620">
-                620
+                role="cell" aria-label="645">
+                645
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -791,8 +791,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="10230">
-                10230
+                role="cell" aria-label="10275">
+                10275
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -807,8 +807,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="10230">
-                10230
+                role="cell" aria-label="10275">
+                10275
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -871,8 +871,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="5560">
-                5560
+                role="cell" aria-label="5605">
+                5605
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -887,8 +887,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="5560">
-                5560
+                role="cell" aria-label="5605">
+                5605
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -935,8 +935,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="5470">
-                5470
+                role="cell" aria-label="5515">
+                5515
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -967,8 +967,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="5560">
-                5560
+                role="cell" aria-label="5605">
+                5605
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -1255,8 +1255,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="3755">
-                3755
+                role="cell" aria-label="3800">
+                3800
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -1287,8 +1287,8 @@
             </div>
             <div
                 class="column is-1 is-narrow p-0 has-text-centered has-text-success-light has-background-success"
-                role="cell" aria-label="10230">
-                10230
+                role="cell" aria-label="10275">
+                10275
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -1298,7 +1298,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/src/utils/misc.rs.html b/coverage/main/conjure_oxide/src/utils/misc.rs.html
@@ -210,7 +210,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/src/utils/testing.rs.html b/coverage/main/conjure_oxide/src/utils/testing.rs.html
@@ -2994,7 +2994,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/tests/generated_tests.rs.html b/coverage/main/conjure_oxide/tests/generated_tests.rs.html
@@ -1554,7 +1554,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/tests/index.html b/coverage/main/conjure_oxide/tests/index.html
@@ -115,7 +115,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/tests/model_tests.rs.html b/coverage/main/conjure_oxide/tests/model_tests.rs.html
@@ -530,7 +530,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/conjure_oxide/tests/rewrite_tests.rs.html b/coverage/main/conjure_oxide/tests/rewrite_tests.rs.html
@@ -18226,7 +18226,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/coverage.json b/coverage/main/coverage.json
@@ -1 +1 @@
-{"schemaVersion":1,"label":"coverage","message":"73.18%","color":"red"}
+{"schemaVersion":1,"label":"coverage","message":"73.25%","color":"red"}
diff --git a/coverage/main/crates/conjure_core/src/ast/constants.rs.html b/coverage/main/crates/conjure_core/src/ast/constants.rs.html
@@ -658,7 +658,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/ast/domains.rs.html b/coverage/main/crates/conjure_core/src/ast/domains.rs.html
@@ -1346,7 +1346,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/ast/expressions.rs.html b/coverage/main/crates/conjure_core/src/ast/expressions.rs.html
@@ -3506,7 +3506,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/ast/index.html b/coverage/main/crates/conjure_core/src/ast/index.html
@@ -163,7 +163,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/ast/symbol_table.rs.html b/coverage/main/crates/conjure_core/src/ast/symbol_table.rs.html
@@ -402,7 +402,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/ast/variables.rs.html b/coverage/main/crates/conjure_core/src/ast/variables.rs.html
@@ -658,7 +658,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/context.rs.html b/coverage/main/crates/conjure_core/src/context.rs.html
@@ -1426,7 +1426,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/error.rs.html b/coverage/main/crates/conjure_core/src/error.rs.html
@@ -370,7 +370,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/index.html b/coverage/main/crates/conjure_core/src/index.html
@@ -139,7 +139,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/metadata.rs.html b/coverage/main/crates/conjure_core/src/metadata.rs.html
@@ -658,7 +658,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/model.rs.html b/coverage/main/crates/conjure_core/src/model.rs.html
@@ -1650,7 +1650,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-04-01 08:43</p>
+                <p class="heading">Date: 2024-04-01 08:44</p>
             </div>
         </footer>
     </body>