chore(langserver): make ruff happy #261

Triggered via push July 24, 2025 22:50

d-biehl

main

Status Success

Total duration 31s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

deploy-docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	12.6 MB	`sha256:067ad87f791eb78a1fadf0f1d30e019bfaf8412a05420d4c86ed13680367b804`