Actions: Update code coverage for main

conjure-cp · Apr 12, 2024 · 9bc2c2f · 9bc2c2f
1 parent 96f4084
commit 9bc2c2f
Show file tree

Hide file tree

Showing 89 changed files with 3,882 additions and 3,882 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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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="3115">
- 3115
+ role="cell" aria-label="2630">
+ 2630
  </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="3115">
- 3115
+ role="cell" aria-label="2630">
+ 2630
  </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="245">
- 245
+ role="cell" aria-label="240">
+ 240
  </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="245">
- 245
+ role="cell" aria-label="240">
+ 240
  </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="245">
- 245
+ role="cell" aria-label="240">
+ 240
  </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="245">
- 245
+ role="cell" aria-label="240">
+ 240
  </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="245">
- 245
+ role="cell" aria-label="240">
+ 240
  </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="2870">
- 2870
+ role="cell" aria-label="2390">
+ 2390
  </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="3115">
- 3115
+ role="cell" aria-label="2630">
+ 2630
  </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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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
@@ -8770,7 +8770,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-04-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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
@@ -562,7 +562,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-04-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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="94950">
- 94950
+ role="cell" aria-label="94890">
+ 94890
  </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="94950">
- 94950
+ role="cell" aria-label="94890">
+ 94890
  </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="94950">
- 94950
+ role="cell" aria-label="94890">
+ 94890
  </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="78930">
- 78930
+ role="cell" aria-label="78870">
+ 78870
  </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="94920">
- 94920
+ role="cell" aria-label="94860">
+ 94860
  </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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</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-11 21:34</p>
+ <p class="heading">Date: 2024-04-12 10:21</p>
  </div>
  </footer>
  </body>