`promote_p_to_pe`: `add_pe_to_all_p`
Passed
Aleksandr Kurbatov
created pipeline for commit
15c00654
, finished
1 related merge request: !263 `promote_p_to_pe`: update in `add_all_p_to_pe`
13 minutes 41 seconds, queued for 2 seconds