Actions: Update code coverage for main

conjure-cp · Jun 1, 2024 · da2b11e · da2b11e
1 parent ee157a0
commit da2b11e
Show file tree

Hide file tree

Showing 81 changed files with 3,752 additions and 3,564 deletions.
diff --git a/coverage/main/conjure_oxide/src/find_conjure.rs.html b/coverage/main/conjure_oxide/src/find_conjure.rs.html
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 2">0 %</abbr></p>
+ <abbr title="0 / 4">0 %</abbr></p>
  </div>
  </div>
 
@@ -1042,7 +1042,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09:33</p>
  </div>
  </footer>
  </body>

diff --git a/coverage/main/conjure_oxide/src/index.html b/coverage/main/conjure_oxide/src/index.html
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 2">0 %</abbr></p>
+ <abbr title="0 / 4">0 %</abbr></p>
  </div>
  </div>
 
@@ -59,15 +59,15 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 2 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 4 </td>
  <!-- -->
 
  </tr>
 </tbody>
  </table></div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 6">0 %</abbr></p>
+ <abbr title="0 / 12">0 %</abbr></p>
  </div>
  </div>
 
@@ -1762,7 +1762,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 21">0 %</abbr></p>
+ <abbr title="0 / 42">0 %</abbr></p>
  </div>
  </div>
 
@@ -59,7 +59,7 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 6 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 12 </td>
  <!-- -->
 
  </tr>
@@ -83,7 +83,7 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 6 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 12 </td>
  <!-- -->
 
  </tr>
@@ -107,7 +107,7 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 1 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 2 </td>
  <!-- -->
 
  </tr>
@@ -131,15 +131,15 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 8 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 16 </td>
  <!-- -->
 
  </tr>
 </tbody>
  </table></div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 6">0 %</abbr></p>
+ <abbr title="0 / 12">0 %</abbr></p>
  </div>
  </div>
 
@@ -1298,7 +1298,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 1">0 %</abbr></p>
+ <abbr title="0 / 2">0 %</abbr></p>
  </div>
  </div>
 
@@ -210,7 +210,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 8">0 %</abbr></p>
+ <abbr title="0 / 16">0 %</abbr></p>
  </div>
  </div>
 
@@ -2994,7 +2994,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -1602,7 +1602,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09:33</p>
  </div>
  </footer>
  </body>

diff --git a/coverage/main/conjure_oxide/tests/index.html b/coverage/main/conjure_oxide/tests/index.html
@@ -91,7 +91,7 @@
  </table></div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -514,7 +514,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09:33</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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 24">0 %</abbr></p>
+ <abbr title="0 / 28">0 %</abbr></p>
  </div>
  </div>
 
@@ -850,7 +850,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 44">0 %</abbr></p>
+ <abbr title="0 / 54">0 %</abbr></p>
  </div>
  </div>
 
@@ -1666,7 +1666,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 257">0 %</abbr></p>
+ <abbr title="0 / 283">0 %</abbr></p>
  </div>
  </div>
 
@@ -8322,7 +8322,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 375">0 %</abbr></p>
+ <abbr title="0 / 427">0 %</abbr></p>
  </div>
  </div>
 
@@ -59,7 +59,7 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 24 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 28 </td>
  <!-- -->
 
  </tr>
@@ -83,7 +83,7 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 44 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 54 </td>
  <!-- -->
 
  </tr>
@@ -107,7 +107,7 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 257 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 283 </td>
  <!-- -->
 
  </tr>
@@ -131,7 +131,7 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 16 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 20 </td>
  <!-- -->
 
  </tr>
@@ -155,7 +155,7 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 14 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 18 </td>
  <!-- -->
 
  </tr>
@@ -179,15 +179,15 @@
  </td>
  <!-- -->
  <td class="has-text-centered has-background-danger p-2">0%</td>
- <td class="has-text-centered has-background-danger p-2">0 / 20 </td>
+ <td class="has-text-centered has-background-danger p-2">0 / 24 </td>
  <!-- -->
 
  </tr>
 </tbody>
  </table></div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 16">0 %</abbr></p>
+ <abbr title="0 / 20">0 %</abbr></p>
  </div>
  </div>
 
@@ -402,7 +402,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09:33</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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 14">0 %</abbr></p>
+ <abbr title="0 / 18">0 %</abbr></p>
  </div>
  </div>
 
@@ -146,7 +146,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -23,7 +23,7 @@
  <div>
  <p class="heading">Functions</p>
  <p class="title has-text-danger">
- <abbr title="0 / 20">0 %</abbr></p>
+ <abbr title="0 / 24">0 %</abbr></p>
  </div>
  </div>
 
@@ -658,7 +658,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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
@@ -1426,7 +1426,7 @@
 </div>
  <footer class="footer">
  <div class="content has-text-centered">
- <p class="heading">Date: 2024-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09: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-05-27 10:40</p>
+ <p class="heading">Date: 2024-06-01 09:33</p>
  </div>
  </footer>
  </body>