Skip to content

Use self-pipe trick to implement signal handlers #1642

Use self-pipe trick to implement signal handlers

Use self-pipe trick to implement signal handlers #1642

Triggered via pull request July 26, 2024 17:23
@azeeyazeey
opened #618
Status Success
Total duration 16s
Artifacts

pr-collection-labeler.yml

on: pull_request_target
pr_collection_labeler
8s
pr_collection_labeler
Fit to window
Zoom out
Zoom in

Annotations

1 warning
pr_collection_labeler
The following actions uses Node.js version which is deprecated and will be forced to run on node20: gazebo-tooling/pr-collection-labeler@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/