Skip to content

Merge pull request #35840 from mantidproject/35839 #58

Merge pull request #35840 from mantidproject/35839

Merge pull request #35840 from mantidproject/35839 #58

Triggered via push August 4, 2023 13:24
Status Failure
Total duration 15s
Artifacts
label-conflicts
4s
label-conflicts
Fit to window
Zoom out
Zoom in

Annotations

1 error
label-conflicts
Error: The label "Has Conflicts" was not found in your repository!