Closed chwarr closed 1 year ago
CI builds are failing with linker errors trying to install happy. This workaround no longer appears to be needed.
Remove the manual install step.
CI builds are failing with linker errors trying to install happy. This workaround no longer appears to be needed.
Remove the manual install step.