Moving from Travis to Github CI

General Usage
1

I’m trying to build Stan’s cmdstan binary while using Github CI. On Travis this is possible using:

env:
  - JULIA_CMDSTAN_HOME="$HOME/cmdstan-2.24.0/"
  
before_install:
  - OLDWD=`pwd`
  - cd ~
  - wget https://github.com/stan-dev/cmdstan/releases/download/v2.24.0/cmdstan-2.24.0.tar.gz
  - tar -xzpf cmdstan-2.24.0.tar.gz
  - make -C $JULIA_CMDSTAN_HOME build
  - cd $OLDWD

Could I somehow incorporate this in GitHub CI?

Thanks for your help!

Rob

2

Yes, you can run whatever you want with a run step

env:
  JULIA_CMDSTAN_HOME:"$HOME/cmdstan-2.24.0/"

[...]

run: |
  OLDWD=`pwd`
  cd ~
  wget https://github.com/stan-dev/cmdstan/releases/download/v2.24.0/cmdstan-2.24.0.tar.gz
  tar -xzpf cmdstan-2.24.0.tar.gz
  make -C $JULIA_CMDSTAN_HOME build
  cd $OLDWD
1 Like
3

Wow, thanks, it works! Took some experimenting but with your other post on using as a Julia shell I was able to get it to work!

Update: For those interested, I’ve been testing with the Github CI script for Stan.jl.

1 Like