diff --git a/.circleci/config.yml b/.circleci/config.yml index 3a92d78a485d91093439abe8a40fb83cd1d9e10d..c4763d531cab94430173bc1c754229118b651029 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -121,6 +121,31 @@ jobs: git config --global user.email "$GITHUB_USER_EMAIL" git config --global user.name "$GITHUB_USER_NAME" npm run publish + + make_report: + docker: + - image: circleci/python:latest + + steps: + - checkout + - run: + name: Submodules + command: | + git submodules update --init --recursive + + - run: + name: Dependencies + command: | + wget https://github.com/jgm/pandoc/releases/download/2.7.2/pandoc-2.7.2-1-amd64.deb + sudo dpkg -i pandoc-2.7.2-1-amd64.deb + sudo apt install texlive texlive-latex-extra texlive-fonts-recommended texlive-fonts-extra + cd report + ./make.sh + mkdir -p /tmp/report + cp build/report.pdf /tmp/report/report.pdf + + - store_artifacts: + path: /tmp/report workflows: version: 2 @@ -137,8 +162,6 @@ workflows: requires: - compile_gcc_730 - build_docs: - requires: - - compile_gcc_820 filters: branches: only: @@ -150,3 +173,4 @@ workflows: branches: only: - master + - make_report