minor fixes, dust off CI scripts

tpapp · tpapp · commit bf409d53c6a1 · 2025-07-27T17:36:57.000+02:00
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "LocalCoverage"
 uuid = "5f6e1e16-694c-5876-87ef-16b5274f298e"
 authors = ["Tamas K. Papp <tkpapp@gmail.com>"]
-version = "0.8.2"
+version = "0.8.3"
 
 [deps]
 Coverage = "a2441757-f6aa-5fb2-8edb-039e3f45d037"
