I disabled this configuration for now: https://github.com/dylibso/chicory/pull/1202/commits/e467a5687e042c13f80bb08f35dda67ad23b4b8f The gut feeling is that it depends on #843 , we should get back to this.
I disabled this configuration for now:
e467a56
The gut feeling is that it depends on #843 , we should get back to this.