Hi, We are still having troubles with CI. Even trivial patches fail, due to GitHub Actions or due to flakyness.
Does anyone have time to help fixing the problem? The fact that GtiHub actions cannot be restarted by non committers is quite unfortunate. Enrico
