Skip to content

Merge pull request #38100 from mantidproject/coverity_fixes #15059

Merge pull request #38100 from mantidproject/coverity_fixes

Merge pull request #38100 from mantidproject/coverity_fixes #15059

Triggered via push October 2, 2024 10:50
Status Success
Total duration 32s
Artifacts
label-conflicts
23s
label-conflicts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
label-conflicts
The following actions use a deprecated Node.js version and will be forced to run on node20: prince-chrismc/label-merge-conflicts-action@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/