Skip to content

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

ci: Fix git username/email for GitHub actions

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

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

linter.yaml

on: pull_request
Fit to window
Zoom out
Zoom in