GitHub repository: stan-dev/ci-scripts
Primary language: Shell
Created: 2017-02-06T13:38:03Z
Description: Formerly syclik's stan-scripts repo. Contains scripts used by Jenkins as well as the release scripts and performance scripts.