Skip to content

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

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

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

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

auto-testing.yml

on: pull_request
Matrix: build
Matrix: check-import
Fit to window
Zoom out
Zoom in