Closed eumiro closed 3 years ago
@eumiro See CI report, pelase.
FWIW the CI failures look unrelated to this change.
I think that we should move to GitHub Actions.
@sobolevn Definitely, but that won't fix the CI failure either :wink:
@eumiro See CI report, pelase.