Skip to content

Merge remote-tracking branch 'origin/main' into name-autocompleter #41

Merge remote-tracking branch 'origin/main' into name-autocompleter

Merge remote-tracking branch 'origin/main' into name-autocompleter #41

Triggered via push August 20, 2025 10:44
Status Success
Total duration 23s
Artifacts

lint.yml

on: push
Run make lint
20s
Run make lint
Fit to window
Zoom out
Zoom in