Skip to content

Merge branch 'main' into user_preferences_file #4

Merge branch 'main' into user_preferences_file

Merge branch 'main' into user_preferences_file #4

Triggered via push October 16, 2024 02:58
Status Failure
Total duration 22s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
lint
Process completed with exit code 1.