Merge branch 'main' into r1

This commit is contained in:
Patrick Lehmann
2024-04-24 00:42:05 +02:00

View File

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