Skip to content

Fix JSON output if no PIDs are defined #127

Fix JSON output if no PIDs are defined

Fix JSON output if no PIDs are defined #127

Triggered via pull request February 29, 2024 13:02
@jnidzwetzkijnidzwetzki
opened #157
Status Success
Total duration 13s
Artifacts

pr_handling.yml

on: pull_request_target
Assign PR to author
3s
Assign PR to author
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Assign PR to author
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: toshimaru/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.