Merge branch 'dev'

This commit is contained in:
Patrick Lehmann
2024-04-24 00:41:32 +02:00

View File

@@ -185,7 +185,7 @@ jobs:
def toVersion(value):
major, minor = value.split(".")
return tuple(int(major[-1]), int(minor))
return int(major[-1]), int(minor)
combinations = [
(system, version)