merge-ort/merge-recursive: do report errors in `merge_submodule()` #83

Sign in to view logs

Summary
Jobs
- coverity
Run details
- Usage
- Workflow file

Triggered via push March 9, 2024 12:47

dscho

merge-base-and-missing-objects-followup

Status Skipped

Total duration 1s

Artifacts –

coverity.yml

on: push

Matrix: coverity