Skip to content
Lint

Rename DTI-ALPS extension to match extension defined name #488

Sign in to view logs

Rename DTI-ALPS extension to match extension defined name

Rename DTI-ALPS extension to match extension defined name #488

Triggered via push March 7, 2025 14:02
@jamesobutlerjamesobutler
pushed ea5aec4
main
Status Success
Total duration 17s
Artifacts –

lint.yml

on: push
pre-commit
12s
pre-commit
Fit to window
Zoom out
Zoom in