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

Reply via email to