Skip to content
Lint

gh-110704: Recommend distclean target over clean when source tree is not clean #117317

Sign in to view logs

gh-110704: Recommend distclean target over clean when source tree is not clean

gh-110704: Recommend distclean target over clean when source tree is not clean #117317

Triggered via pull request May 24, 2026 13:08
@gpsheadgpshead
synchronize #112610
SnoopJ:bugfix/gh110704-recommend-distclean-target
Status Success
Total duration 41s
Artifacts –

lint.yml

on: pull_request
lint
37s
lint
Fit to window
Zoom out
Zoom in