Fork pull request build did not display in upstream repo

OK, so should I file a ticket for this instance?

BTW, looks like this isn’t the first time this has happened: GitHub required check stuck on "Waiting for status to be reported"

That thread links to other similar threads.