Thanks @elextr that helped me. I still got problems with building the test but I now know how to start the build. So I close this. I'll report my problems at the corresponding PR.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.