Skip to content

ci: Fix git username/email for GitHub actions #203

ci: Fix git username/email for GitHub actions

ci: Fix git username/email for GitHub actions #203

Triggered via pull request May 20, 2025 20:33
Status Success
Total duration 1m 29s
Artifacts

linter.yaml

on: pull_request
Fit to window
Zoom out
Zoom in