Differentiate between `push` and `pull` `mirror sync in progress` #10017

Sign in to view logs

Triggered via pull request October 2, 2023 14:05

GiteaBot

synchronize #27390

delvh:better-synchronization-text

Status Success

Total duration 19m 26s

Artifacts –

pull-compliance.yml

on: pull_request

files-changed / detect

lint-go-windows