Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI: Print time taken by 'Reclaim Disk Space' commands #15143

Merged
merged 1 commit into from
Feb 17, 2021
Merged

CI: Print time taken by 'Reclaim Disk Space' commands #15143

merged 1 commit into from
Feb 17, 2021

Conversation

@quarkus-bot quarkus-bot bot added the area/infra-automation anything related to CI, bots, etc. that are used to automated our infrastructure label Feb 17, 2021
@famod
Copy link
Member Author

famod commented Feb 17, 2021

real	0m13.990s
user	0m0.038s
sys	0m0.062s

real	1m16.819s
user	0m0.525s
sys	0m4.699s

real	0m0.203s
user	0m0.005s
sys	0m0.029s

@gastaldi gastaldi merged commit 33417ea into quarkusio:master Feb 17, 2021
@quarkus-bot quarkus-bot bot added this to the 1.13 - master milestone Feb 17, 2021
@famod famod deleted the reclaim-time branch February 17, 2021 16:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/infra-automation anything related to CI, bots, etc. that are used to automated our infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants