Skip to content
Publish

Use process.kill instead of process manager killPid #670

Sign in to view logs

Use process.kill instead of process manager killPid

Use process.kill instead of process manager killPid #670

Triggered via pull request October 22, 2025 23:06
@gspencergooggspencergoog
synchronize #303
gspencergoog:fix_kill
Status Success
Total duration 28s
Artifacts 1

publish.yaml

on: pull_request
publish  /  validate
19s
publish / validate
publish  /  publish
0s
publish / publish
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
output
142 Bytes
sha256:9c08c4f422927fa1c2efb8a899777d79f245f1b97f8999584b448aa275fe1f7f