Skip to content
Pull Request CI

Use github actor id instead of bot name to avoid renaming issues (#665) #1593

Sign in to view logs

Use github actor id instead of bot name to avoid renaming issues (#665)

Use github actor id instead of bot name to avoid renaming issues (#665) #1593

Triggered via push September 19, 2025 01:32
@github-merge-queuegithub-merge-queue[bot]
pushed 7e80c5b
gh-readonly-queue/master/pr-665-f612334f646494025ffdd086f87687149f32b559
Status Success
Total duration 2m 23s
Artifacts –

pull_request.yml

on: push
pinact
8s
pinact
Matrix: build
Fit to window
Zoom out
Zoom in