Actions: Update code coverage for main

conjure-cp · May 1, 2024 · a12cdba · a12cdba
1 parent 510871a
commit a12cdba
Show file tree

Hide file tree

Showing 90 changed files with 3,938 additions and 3,938 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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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="3310">
- 3310
+ role="cell" aria-label="2870">
+ 2870
  </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="3310">
- 3310
+ role="cell" aria-label="2870">
+ 2870
  </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="3070">
- 3070
+ role="cell" aria-label="2630">
+ 2630
  </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="3310">
- 3310
+ role="cell" aria-label="2870">
+ 2870
  </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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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
@@ -1602,7 +1602,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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
@@ -20642,7 +20642,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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
@@ -850,7 +850,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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
@@ -8322,7 +8322,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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
@@ -754,7 +754,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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="254700">
- 254700
+ role="cell" aria-label="254445">
+ 254445
  </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="254700">
- 254700
+ role="cell" aria-label="254445">
+ 254445
  </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="254700">
- 254700
+ role="cell" aria-label="254445">
+ 254445
  </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="215865">
- 215865
+ role="cell" aria-label="215610">
+ 215610
  </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="254670">
- 254670
+ role="cell" aria-label="254415">
+ 254415
  </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-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</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-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</p>
  </div>
  </footer>
  </body>

diff --git a/coverage/main/crates/conjure_core/src/parse/parse_model.rs.html b/coverage/main/crates/conjure_core/src/parse/parse_model.rs.html
@@ -3447,8 +3447,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="2595">
- 2595
+ role="cell" aria-label="2775">
+ 2775
  </div>
  <div class="column has-background-success-light p-0"
  role="cell">
@@ -3543,8 +3543,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="2595">
- 2595
+ role="cell" aria-label="2775">
+ 2775
  </div>
  <div class="column has-background-success-light p-0"
  role="cell">
@@ -3639,8 +3639,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="450">
- 450
+ role="cell" aria-label="420">
+ 420
  </div>
  <div class="column has-background-success-light p-0"
  role="cell">
@@ -5058,7 +5058,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-04-30 15:13</p>
+ <p class="heading">Date: 2024-05-01 08:39</p>
  </div>
  </footer>
  </body>

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