Closed ggreif closed 11 months ago
With the nixpkgs 23.11 transition the viper-server running under openjdk started to throw exceptions with x64-darwin. I had to deactivate the tests. (All other platforms tested well, including arm64-darwin.)
nixpkgs
viper-server
openjdk
x64-darwin
arm64-darwin
With the
nixpkgs23.11 transition theviper-serverrunning underopenjdkstarted to throw exceptions withx64-darwin. I had to deactivate the tests. (All other platforms tested well, includingarm64-darwin.)