Actions: Update code coverage for main

conjure-cp · Apr 1, 2024 · 5e84896 · 5e84896
1 parent 794d319
commit 5e84896
Show file tree

Hide file tree

Showing 86 changed files with 3,410 additions and 3,410 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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-03-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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="520">
- 520
+ role="cell" aria-label="620">
+ 620
  </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="520">
- 520
+ role="cell" aria-label="620">
+ 620
  </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="120">
- 120
+ role="cell" aria-label="135">
+ 135
  </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="120">
- 120
+ role="cell" aria-label="135">
+ 135
  </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="120">
- 120
+ role="cell" aria-label="135">
+ 135
  </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="120">
- 120
+ role="cell" aria-label="135">
+ 135
  </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="120">
- 120
+ role="cell" aria-label="135">
+ 135
  </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="400">
- 400
+ role="cell" aria-label="485">
+ 485
  </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="520">
- 520
+ role="cell" aria-label="620">
+ 620
  </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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-03-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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
@@ -1554,7 +1554,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-03-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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
@@ -658,7 +658,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-03-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-03-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-03-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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
@@ -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="249780">
- 249780
+ role="cell" aria-label="249180">
+ 249180
  </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="249780">
- 249780
+ role="cell" aria-label="249180">
+ 249180
  </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="249780">
- 249780
+ role="cell" aria-label="249180">
+ 249180
  </div>
  <div class="column has-background-success-light p-0"
  role="cell">
@@ -519,8 +519,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="211515">
- 211515
+ role="cell" aria-label="210915">
+ 210915
  </div>
  <div class="column has-background-success-light p-0"
  role="cell">
@@ -599,8 +599,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="249750">
- 249750
+ role="cell" aria-label="249150">
+ 249150
  </div>
  <div class="column has-background-success-light p-0"
  role="cell">
@@ -1762,7 +1762,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-03-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</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-30 19:34</p>
+ <p class="heading">Date: 2024-04-01 08:43</p>
  </div>
  </footer>
  </body>