Skip to content
Back to pull request #1495

Check for duplicate root directory names #5337

Sign in to view logs

Check for duplicate root directory names

Check for duplicate root directory names #5337

Triggered via pull request January 25, 2024 15:21
@Kr0noxKr0nox
synchronize #1495
bugfix/same-root-name
Status Success
Total duration 15s
Artifacts –

maven.yml

on: pull_request
pre_job
4s
pre_job
build
0s
build
Fit to window
Zoom out
Zoom in