Closed ocelot335 closed 7 months ago
@rultor merge
@rultor merge
@yegor256 OK, I'll try to merge now. You can check the progress of the merge here
@rultor merge
@ocelot335 @yegor256 Oops, I failed. You can see the full log here (spent 11min)
Well, I tried removing the wrong spaces
@yegor256 could you please try to merge again?
@rultor merge
@rultor merge
@yegor256 OK, I'll try to merge now. You can check the progress of the merge here
@rultor merge
@ocelot335 @yegor256 Oops, I failed. You can see the full log here (spent 10min)
@ocelot335 try to run make clean lint
locally
@yegor256, can you please try again?
@rultor merge
@rultor merge
@yegor256 OK, I'll try to merge now. You can check the progress of the merge here
@rultor merge
@ocelot335 @yegor256 Oops, I failed. You can see the full log here (spent 10min)
Well, I forgot to update number of metrics, sorry
@rultor merge
@rultor merge
@ocelot335 @yegor256 Can't merge it. Some CI checks were failed. Apparently, the pull request is not ready to be merged since it has some problems. Please, fix them first.
@yegor256 Hope everything is ok now. I forgot to sync with yesterday's master commits
@rultor merge
@rultor merge
@yegor256 OK, I'll try to merge now. You can check the progress of the merge here
@rultor merge
@yegor256 Done! FYI, the full log is here (took me 13min)
@ocelot335 thanks!
126 was added