odb: add odb_source_files_try() for heterogeneous source iteration #2068
GitGitGadget / handle_pr_comment
succeeded
Mar 16, 2026 in 1m 11s
Handle PR comment
Handling PR comment #2068 (comment)
Details
This handles #2068 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/23151627984 for details.
Loading