Skip to content

revert accidental --keep-names change #3973

revert accidental --keep-names change

revert accidental --keep-names change #3973

Triggered via push January 30, 2024 17:57
Status Success
Total duration 50s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in