Skip to content

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

ci: Fix git username/email for GitHub actions

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

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

linter.yaml

on: pull_request
Fit to window
Zoom out
Zoom in