Update make.yml workflow to know which repo it's being run in#175

Merged

rrthomas merged 1 commit intorrthomas:mainfrom norwd:norwd-patch-1

Dec 12, 2024

+1-1

Commits on Dec 12, 2024

Update make.yml workflow to know which repo it's being run in
norwd
authored