Yeah, we don't test all examples in CI. That is related to recent changes to the DSL. It can be fixed later. Thanks for spotting it Alex ;)
Nicola
Yeah, we don't test all examples in CI. That is related to recent changes to the DSL. It can be fixed later. Thanks for spotting it Alex ;)
Nicola