circle.yml

general:
  branches:
    only:
      - master

machine:
  timezone:
    Asia/Tokyo
  services:
    - docker

dependencies:
  pre:
    - docker pull miyukki/docker-texlive
    - docker pull miyukki/redpen:1.7.6
    - git config --global user.email 'miyukki@sfc.wide.ad.jp'
    - git config --global user.name 'Yusei Yamanaka'

test:
  override:
    - exec docker run -i --net=none -v $(pwd):/data miyukki/docker-texlive /bin/sh -c "make"
  post:
    - mkdir $CIRCLE_ARTIFACTS/section
    - exec docker run -i --net=none -v $(pwd):/data -v $CIRCLE_ARTIFACTS:/artifacts miyukki/redpen:1.7.6 find . -name "*.tex" -exec /bin/sh -c 'redpen {} > /artifacts/{}.redpen.txt' \;

deployment:
  release:
    branch: master
    commands:
      - mv main.pdf /tmp/main.pdf
      - mv main-binder.pdf /tmp/main-binder.pdf
      - |
        if git ls-remote origin | grep -q refs/heads/release; then
          git fetch
          git checkout -b release origin/release
        else
          git checkout --orphan release
          git rm --cached -r .
        fi
      - cp -f /tmp/main.pdf main.pdf
      - cp -f /tmp/main-binder.pdf main-binder.pdf
      - git add -f main.pdf main-binder.pdf
      - git commit -m "[ci skip] Build pdf $(git log $CIRCLE_BRANCH -1 --oneline)"
      - git push -f origin release