Actions: Update code coverage for main

gskorokhod · Oct 28, 2024 · 810792a · 810792a
1 parent 04dd28f
commit 810792a
Show file tree

Hide file tree

Showing 73 changed files with 216 additions and 216 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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -3330,7 +3330,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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="7800">
-                7800
+                role="cell" aria-label="7290">
+                7290
             </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="7800">
-                7800
+                role="cell" aria-label="7290">
+                7290
             </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="620">
-                620
+                role="cell" aria-label="625">
+                625
             </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="620">
-                620
+                role="cell" aria-label="625">
+                625
             </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="620">
-                620
+                role="cell" aria-label="625">
+                625
             </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="620">
-                620
+                role="cell" aria-label="625">
+                625
             </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="620">
-                620
+                role="cell" aria-label="625">
+                625
             </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="7180">
-                7180
+                role="cell" aria-label="6665">
+                6665
             </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="7800">
-                7800
+                role="cell" aria-label="7290">
+                7290
             </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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -4530,7 +4530,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -514,7 +514,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -18818,7 +18818,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/ast/constants.rs.html b/coverage/main/crates/conjure_core/src/ast/constants.rs.html
@@ -882,7 +882,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -1666,7 +1666,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -7634,7 +7634,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -187,7 +187,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/ast/types.rs.html b/coverage/main/crates/conjure_core/src/ast/types.rs.html
@@ -146,7 +146,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -994,7 +994,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/bug.rs.html b/coverage/main/crates/conjure_core/src/bug.rs.html
@@ -530,7 +530,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -786,7 +786,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</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
@@ -2130,7 +2130,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/parse/example_models.rs.html b/coverage/main/crates/conjure_core/src/parse/example_models.rs.html
@@ -455,8 +455,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="193755">
-                193755
+                role="cell" aria-label="194040">
+                194040
             </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="193755">
-                193755
+                role="cell" aria-label="194040">
+                194040
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -487,8 +487,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="193755">
-                193755
+                role="cell" aria-label="194040">
+                194040
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -503,8 +503,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="164685">
-                164685
+                role="cell" aria-label="164970">
+                164970
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -583,8 +583,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="193725">
-                193725
+                role="cell" aria-label="194010">
+                194010
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -1746,7 +1746,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/main/crates/conjure_core/src/parse/index.html b/coverage/main/crates/conjure_core/src/parse/index.html
@@ -91,7 +91,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2024-10-28 17:16</p>
+                <p class="heading">Date: 2024-10-28 17:17</p>
             </div>
         </footer>
     </body>