Deploy docs site to GitHub Pages

Language Server: Implement Document Highlights (#1284) #1093

Sign in to view logs

Triggered via push March 4, 2026 11:20

marcoroth

main

Status Success

Total duration 7m 36s

Artifacts –

deploy.yml

on: push