Skip to content
Linting

Re #6267 Move removal of *.hi and *.o to after their creation #2353

Sign in to view logs

Re #6267 Move removal of *.hi and *.o to after their creation

Re #6267 Move removal of *.hi and *.o to after their creation #2353

Triggered via pull request April 1, 2024 12:32
@mpilgremmpilgrem
synchronize #6543
re6267
Status Success
Total duration 1m 21s
Artifacts –

lint.yml

on: pull_request
Linting
1m 11s
Linting
Fit to window
Zoom out
Zoom in