Skip to content
Lint

Update workflow to set git user and push with token #812

Sign in to view logs

Update workflow to set git user and push with token

Update workflow to set git user and push with token #812

Triggered via pull request August 27, 2025 18:55
@psomhorstpsomhorst
opened #434
update-ci
Status Success
Total duration 12s
Artifacts –

lint.yml

on: pull_request
Matrix: Linting
Fit to window
Zoom out
Zoom in