odb: add odb_source_files_try() for heterogeneous source iteration #2068
GitGitGadget / handle_pr_push
succeeded
Mar 16, 2026 in 23s
Handle PR push
Handling new commits in #2068
Details
This handles #2068, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/23146030964 for details.
Loading