Update PackageInfo.g and CI suite#24

fingolfin merged 1 commit intogap-packages:mastergap-packages/polymaking:masterfrom

stertooy:update-cistertooy/polymaking:update-ciCopy head branch name to clipboard