java-smt icon indicating copy to clipboard operation
java-smt copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

Improve CI coverage for more systems like MacOS and Windows

Open kfriedberger opened this issue 1 year ago • 1 comments

Our Gitlab-Ci and our AppVeyor CI are good, run well and cover most internal use cases. However, those CIs have limited resources and do not provide more architectures, such as ARM64 for both, Windows and MacOS. We could take a look at alternatives, without costs for open-source projects.

kfriedberger avatar Jul 07 '24 13:07 kfriedberger

As a first step, we improved the support for Linux with additional configurations for arm64 architecture in #442 .

kfriedberger avatar Apr 06 '25 19:04 kfriedberger