Skip to content

Use github actor id instead of bot name to avoid renaming issues #1590

Use github actor id instead of bot name to avoid renaming issues

Use github actor id instead of bot name to avoid renaming issues #1590

Triggered via pull request September 18, 2025 14:06
Status Success
Total duration 2m 17s
Artifacts

pull_request.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in