Issue #108: Rename from primarycensoreddist to primarycensored #98

Triggered via pull request October 9, 2024 16:28

seabbs

synchronize #130

rename

Status Success

Total duration 23s

Artifacts 1

render-stan-docs.yaml

on: pull_request

Produced during runtime

Name	Size
stan-docs Expired	157 KB