Merge pull request #222 from stan-dev/add-stan-language-server · stan-dev/stan-dev.github.io@7b2d1d2

Triggered via push October 3, 2025 19:23

WardBrian

master

Status Success

Total duration 5m 17s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	65.4 MB	`sha256:dd24dfa4a68bae275d2a9a2ef369ac7b3ae736aa43133ed74373c07838a9c729`