Does this help?
Need to fix the CI of Routex too as since I added Dialyzer it runs a few minutes instead of seconds.