Skip to content

doc: clarify difference between push.default simple and current #631

doc: clarify difference between push.default simple and current

doc: clarify difference between push.default simple and current #631

Triggered via pull request July 22, 2025 17:55
Status Success
Total duration 2m 32s
Artifacts

check-style.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
check-style
JGit wasn't installed, see above for clues why
check-style
perforce wasn't installed, see above for clues why