Merge pull request #214 from stan-dev/update-tools-highlighting · stan-dev/stan-dev.github.io@30dfba9

Triggered via push February 13, 2025 21:39

WardBrian

master

Status Success

Total duration 6m 24s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	62.3 MB	`sha256:555cbe665d89a24ce9f51cc9aba3b3cf7cf1ddf54a32342facfc4cec7ae3ba67`