deploy: 3752fe4

Orange-OpenSource · Nov 27, 2023 · 06b45c7 · 06b45c7
1 parent fcccb00
commit 06b45c7
Show file tree

Hide file tree

Showing 194 changed files with 5,582 additions and 6,126 deletions.
diff --git a/coverage/coverage.json b/coverage/coverage.json
@@ -1 +1 @@
-{"schemaVersion":1,"label":"coverage","message":"87.81%","color":"yellow"}
+{"schemaVersion":1,"label":"coverage","message":"87.90%","color":"yellow"}
diff --git a/coverage/index.html b/coverage/index.html
@@ -15,7 +15,7 @@
         <div>
             <p class="heading">Lines</p>
             <p class="title has-text-warning">
-                <abbr title="15629 / 17799">87.81 %</abbr></p>
+                <abbr title="15629 / 17780">87.9 %</abbr></p>
         </div>
     </div>
 
@@ -516,16 +516,16 @@
         <td class="p-2">
             <progress
                 class="progress is-warning is-large"
-                value="87.01799485861183"
+                value="87.55253798900743"
                 max="100">
-                87.02%
+                87.55%
             </progress>
         </td>
         <td class="has-text-centered has-background-warning p-2">
-            87.02%
+            87.55%
         </td>
         <td class="has-text-centered has-background-warning p-2">
-            2708 / 3112
+            2708 / 3093
         </td>
         <!-- -->
         <td class="has-text-centered has-background-warning p-2">84.62%</td>
@@ -864,7 +864,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/build.rs.html b/coverage/packages/hurl/build.rs.html
@@ -731,7 +731,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/index.html b/coverage/packages/hurl/index.html
@@ -81,7 +81,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/cli/error.rs.html b/coverage/packages/hurl/src/cli/error.rs.html
@@ -1131,7 +1131,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/cli/fs.rs.html b/coverage/packages/hurl/src/cli/fs.rs.html
@@ -1867,7 +1867,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/cli/index.html b/coverage/packages/hurl/src/cli/index.html
@@ -135,7 +135,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/cli/interactive.rs.html b/coverage/packages/hurl/src/cli/interactive.rs.html
@@ -2059,7 +2059,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/cli/options/commands.rs.html b/coverage/packages/hurl/src/cli/options/commands.rs.html
@@ -7339,7 +7339,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/cli/options/index.html b/coverage/packages/hurl/src/cli/options/index.html
@@ -162,7 +162,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/cli/options/matches.rs.html b/coverage/packages/hurl/src/cli/options/matches.rs.html
@@ -7355,7 +7355,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/cli/options/mod.rs.html b/coverage/packages/hurl/src/cli/options/mod.rs.html
@@ -7099,7 +7099,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/cli/options/variables.rs.html b/coverage/packages/hurl/src/cli/options/variables.rs.html
@@ -2219,7 +2219,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/html/escape.rs.html b/coverage/packages/hurl/src/html/escape.rs.html
@@ -955,7 +955,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/html/index.html b/coverage/packages/hurl/src/html/index.html
@@ -108,7 +108,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/html/unescape.rs.html b/coverage/packages/hurl/src/html/unescape.rs.html
@@ -8107,7 +8107,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/call.rs.html b/coverage/packages/hurl/src/http/call.rs.html
@@ -459,7 +459,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/certificate.rs.html b/coverage/packages/hurl/src/http/certificate.rs.html
@@ -3915,7 +3915,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/client.rs.html b/coverage/packages/hurl/src/http/client.rs.html
@@ -16587,7 +16587,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/cookie.rs.html b/coverage/packages/hurl/src/http/cookie.rs.html
@@ -6075,7 +6075,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/core.rs.html b/coverage/packages/hurl/src/http/core.rs.html
@@ -3115,7 +3115,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/debug.rs.html b/coverage/packages/hurl/src/http/debug.rs.html
@@ -939,7 +939,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/easy_ext.rs.html b/coverage/packages/hurl/src/http/easy_ext.rs.html
@@ -4843,7 +4843,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/error.rs.html b/coverage/packages/hurl/src/http/error.rs.html
@@ -955,7 +955,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/header.rs.html b/coverage/packages/hurl/src/http/header.rs.html
@@ -720,8 +720,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="9417">
-                9417
+                role="cell" aria-label="9429">
+                9429
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -736,8 +736,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="9417">
-                9417
+                role="cell" aria-label="9429">
+                9429
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -752,8 +752,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="9417">
-                9417
+                role="cell" aria-label="9429">
+                9429
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -768,8 +768,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="25906">
-                25906
+                role="cell" aria-label="25982">
+                25982
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -784,8 +784,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="22767">
-                22767
+                role="cell" aria-label="22839">
+                22839
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -800,8 +800,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="3597">
-                3597
+                role="cell" aria-label="3609">
+                3609
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -832,8 +832,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="19170">
-                19170
+                role="cell" aria-label="19230">
+                19230
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -864,8 +864,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="25906">
-                25906
+                role="cell" aria-label="25982">
+                25982
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -880,8 +880,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="9417">
-                9417
+                role="cell" aria-label="9429">
+                9429
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -896,8 +896,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="9417">
-                9417
+                role="cell" aria-label="9429">
+                9429
             </div>
             <div class="column has-background-success-light p-0"
                  role="cell">
@@ -907,7 +907,7 @@
 </div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>

diff --git a/coverage/packages/hurl/src/http/index.html b/coverage/packages/hurl/src/http/index.html
@@ -675,7 +675,7 @@
     </table></div>
         <footer class="footer">
             <div class="content has-text-centered">
-                <p class="heading">Date: 2023-11-26 08:07</p>
+                <p class="heading">Date: 2023-11-27 08:08</p>
             </div>
         </footer>
     </body>
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"schemaVersion":1,"label":"coverage","message":"87.81%","color":"yellow"}
		{"schemaVersion":1,"label":"coverage","message":"87.90%","color":"yellow"}