Actions: Update code coverage for main

conjure-cp · Mar 30, 2024 · 2ee2624 · 2ee2624
1 parent 81c9242
commit 2ee2624
Show file tree

Hide file tree

Showing 85 changed files with 1,870 additions and 2,490 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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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
@@ -1602,7 +1602,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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="472">
- 472
+ role="cell" aria-label="468">
+ 468
  </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="472">
- 472
+ role="cell" aria-label="468">
+ 468
  </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="108">
- 108
+ role="cell" aria-label="116">
+ 116
  </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="108">
- 108
+ role="cell" aria-label="116">
+ 116
  </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="108">
- 108
+ role="cell" aria-label="116">
+ 116
  </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="108">
- 108
+ role="cell" aria-label="116">
+ 116
  </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="108">
- 108
+ role="cell" aria-label="116">
+ 116
  </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="364">
- 364
+ role="cell" aria-label="352">
+ 352
  </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="472">
- 472
+ role="cell" aria-label="468">
+ 468
  </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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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
@@ -2674,7 +2674,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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
@@ -1394,7 +1394,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</p>
  </div>
  </footer>
  </body>

diff --git a/coverage/main/coverage.json b/coverage/main/coverage.json
@@ -1 +1 @@
-{"schemaVersion":1,"label":"coverage","message":"73.17%","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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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
@@ -1474,7 +1474,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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
@@ -1618,7 +1618,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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="244380">
- 244380
+ role="cell" aria-label="244185">
+ 244185
  </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="244380">
- 244380
+ role="cell" aria-label="244185">
+ 244185
  </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="244380">
- 244380
+ role="cell" aria-label="244185">
+ 244185
  </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="206760">
- 206760
+ role="cell" aria-label="206565">
+ 206565
  </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="244350">
- 244350
+ role="cell" aria-label="244155">
+ 244155
  </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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</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-03-29 11:20</p>
+ <p class="heading">Date: 2024-03-30 19:33</p>
  </div>
  </footer>
  </body>