This repository was archived by the owner on Apr 28, 2025. It is now read-only.
ci: Account for PR_NUMBER being set to an empty string#542
Merged
tgross35 merged 1 commit intorust-lang:masterfrom Apr 18, 2025
Merged
ci: Account for `PR_NUMBER` being set to an empty string#542tgross35 merged 1 commit intorust-lang:masterfrom
tgross35 merged 1 commit intorust-lang:masterfrom
