Skip to content

Ensure any old openjdk build directory is removed before building #715

Ensure any old openjdk build directory is removed before building

Ensure any old openjdk build directory is removed before building #715

Triggered via pull request May 10, 2024 09:46
Status Success
Total duration 14s
Artifacts

comment-bot.yml

on: pull_request_target
Add Comment
4s
Add Comment
Fit to window
Zoom out
Zoom in