Skip to content

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

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

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

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

generate-code.yml

on: pull_request
Fit to window
Zoom out
Zoom in