fix: problem PID 可能为 null (#877) · XMOJ-Script-dev/XMOJ-Script@10d6806

Triggered via push October 7, 2025 14:06

boomzero

dev

Status Success

Total duration 29s

Artifacts 1

Prerelease.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.13 MB	`sha256:4a822cb729f056cc6d418813c0936d0af68bd760a08899a032dac2ac4add06cf`