This MR is just a way to make !54 (merged) CI run easily, as long as we have not fixed the problem with forks.