try to deploy windows

Author: Jérôme FERET

.github/workflows/ci.yml

@@ -199,7 +199,16 @@ jobs:
         with:
           name: windows
           path: KappappWin.zip
-     
+      - name: Deploy Windows release
+        uses: WebFreak001/deploy-nightly@v3.2.0
+        with:
+          upload_url: https://uploads.github.com/repos/Kappa-Dev/KappaTools/releases/308266490/assets{?name,label} # find out this value by opening https://api.github.com/repos/<owner>/<repo>/releases in your browser and copy the full "upload_url" value including the {?name,label} part
+          release_id: 308266490 # same as above (id can just be taken out the upload_url, it's used to find old releases)
+          asset_path: ./KappappWin.zip  # path to archive to upload
+          asset_name: KappappWin.zip # name to upload the release as, use $$ to insert date (YYYYMMDD) and 6 letter commit hash
+          asset_content_type: application/zip # required by GitHub API
+          max_releases: 2# optional, if there are more releases than this matching the asset_name, the oldest ones are going to be deleted
+          ignore_hash: true # optional, if there is already a release associated with the repo's current commit, should we go ahead and upload the asset anyway.    
 
   #webapp-playwright-test:
 #    needs: [cli-and-doc, webapp-ubuntu]

examples/benchmarks/incremental-KaSa/output/experiments_output.tex

@@ -7,11 +7,8 @@
 \cmidrule(lr){4-6}
 & & \bfseries\shortstack{analysis} & \bfseries\shortstack{initial\\analysis} & \bfseries\shortstack{disable\\rules} & \bfseries\shortstack{add\\a rule}\\
 \midrule
-\texttt{tgf\_v19} & 96 & 0.156 & 0.291 & 0.013 & 0.162 \\
-\texttt{tgf\_20180419} & 291 & 0.454 & 0.894 & 0.00512 & 0.157 \\
-\texttt{wnt\_20151228} & 355 & 1.14 & 1.02 & 0.0568 & 1.89 \\
-\texttt{wnt\_20170322} & 1469 & 5.9 & 6.68 & 0.034 & 3.45 \\
-\texttt{korkut\_20170113} & 3915 & 5.68 & 5.9 & 0.0774 & 1.18 \\
-\texttt{korkut\_20170206} & 5749 & 42 & 98.4 & 0.202 & 6.62 \\
+\texttt{egfr\_net} & 22 & 0.0103 & 0.019 & 0.00122 & 0.0159 \\
+\texttt{tgf\_20180419} & 291 & 0.497 & 0.997 & 0.00664 & 0.218 \\
+\texttt{wnt\_20151228} & 355 & 1.29 & 1.14 & 0.0953 & 1.86 \\
 \bottomrule
 \end{tabular}