Skip to content
Snippets Groups Projects

Disallow new Event-B EMF version again because of ordering bug

Passed
dgelessus created pipeline for commit 74e7ab35
, finished
For develop
2 minutes 23 seconds, queued for 1 seconds