What repo? (owner/repo)

notuslabs/notus-api

Would you also happen to have an exact UTC timestamp for when you made that pull request?

let me see if I can extract from Github but it's still open

nov 28 18:51 UTC

Looking now.

I see a PR env created at that timestamp?

Its not PR 873, but was made at the timestamp you gave.

🤔

i did another PR close to that timestamp, pr 872

A PR environment was created at exactly Nov 28th, 18:51 UTC, PR 872.

What time did you create PR 873?

both were created at the same time

lol

both PR 872 and 873 were created at Nov 28th, 18:51 UTC

Ah, good information to have known 😉

Looks like the second pr env didn't go out because of an implicit debounce.

so its expected behaviour? kinda weird

For PRs created at the same timestamp, unfortunately, yes.

!s

Use the slash command!