Skip to content

Run the OBO report on $(SRCMERGED) rather than -edit. - #43

Merged
gouttegd merged 1 commit into
mainfrom
fix-obo-report-on-edit-file
Oct 13, 2026
Merged

Run the OBO report on $(SRCMERGED) rather than -edit.#43
gouttegd merged 1 commit into
mainfrom
fix-obo-report-on-edit-file

Run the OBO report on $(SRCMERGED) rather than -edit.

b697a1b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar