I am having a problem with this bug.
It has been fixed in a recent version of OpenUSD.
However, this repo's most recent build was last year.
Any chance of triggering another build using OpenUSD v23.11, which is the latest?
Many thanks, while waiting, I will clone & try to figure out how to get it working, although I've not used GitHub workflows before so I don't exactly know what I'm doing.