Actions: Update code coverage for main

conjure-cp · Apr 30, 2024 · 4003b64 · 4003b64
1 parent 3856cb6
commit 4003b64
Show file tree

Hide file tree

Showing 90 changed files with 4,002 additions and 4,002 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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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="2875">
- 2875
+ role="cell" aria-label="3310">
+ 3310
  </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="2875">
- 2875
+ role="cell" aria-label="3310">
+ 3310
  </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="225">
- 225
+ 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="225">
- 225
+ 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="225">
- 225
+ 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="225">
- 225
+ 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="225">
- 225
+ 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="2650">
- 2650
+ role="cell" aria-label="3070">
+ 3070
  </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="2875">
- 2875
+ role="cell" aria-label="3310">
+ 3310
  </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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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="254025">
- 254025
+ role="cell" aria-label="254700">
+ 254700
  </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="254025">
- 254025
+ role="cell" aria-label="254700">
+ 254700
  </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="254025">
- 254025
+ role="cell" aria-label="254700">
+ 254700
  </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="215235">
- 215235
+ role="cell" aria-label="215865">
+ 215865
  </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="253995">
- 253995
+ role="cell" aria-label="254670">
+ 254670
  </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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</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-29 08:33</p>
+ <p class="heading">Date: 2024-04-30 15:13</p>
  </div>
  </footer>
  </body>