Skip to content
Add milestone to pull requests

Remap thread id to avoid bitmap contention #143

Sign in to view logs

Remap thread id to avoid bitmap contention

Remap thread id to avoid bitmap contention #143

Triggered via pull request June 18, 2025 14:08
@zhengyu123zhengyu123
closed #229
zgu/map_thread_id
Status Success
Total duration 8s
Artifacts –

add-milestone-to-pull-requests.yaml

on: pull_request
Add milestone to merged pull requests
5s
Add milestone to merged pull requests
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Add milestone to merged pull requests
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Add milestone to merged pull requests
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/