Fix CircleCI build by introducing a custom built Docker image

tatsuya6502 · tatsuya6502 · commit 785d00fd4aea · 2019-06-26T07:23:59.000+08:00
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -3,22 +3,21 @@ version: 2
 jobs:
   build:
     docker:
-      - image: hrektts/mdbook:0.3.0
+      - image: quay.io/rust-lang-ja/circleci:atcoder-resources
     parallelism: 1
     steps:
       - checkout
-      - run: apt-get update && apt-get install -y git-core
       # Remove .gitconfig added by Circle CI as cargo doesn't support ssh authorization
       - run: rm -f ~/.gitconfig
       - run: mdbook build
       - run: mdbook test
       - store_artifacts:
           path: docs
-      # - deploy:
-      #     name: If master branch, publish to GitHub Page
-      #     command: |
-      #       if [ "x_${CIRCLE_BRANCH}" == "x_master" ]; then
-      #         git config user.name "bn-e (CircleCI)"
-      #         git config user.email "bn-e@hibaridb.org"
-      #         ./tools/circleci/push-to-master.sh
-      #       fi
+      - deploy:
+          name: If master branch, publish to GitHub Page
+          command: |
+            if [ "x_${CIRCLE_BRANCH}" == "x_master" ]; then
+              git config user.name "bn-e (CircleCI)"
+              git config user.email "bn-e@hibaridb.org"
+              ./tools/circleci/push-to-master.sh
+            fi
diff --git a/src/atcoder-env/installing-rust-crates.md b/src/atcoder-env/installing-rust-crates.md
@@ -81,7 +81,7 @@ $RUST_HOME (/usr/local/lib/rust)
 
 **AtCoderジャッジサーバでのファイルレイアウト（ジャッジの際に作成する）**
 
-```
+```console
 $HOME             # ユーザのホームディレクトリ
 └-- WORKAREA      # ジャッジ用の一時ディレクトリ
     |-- main.rs   # ユーザプログラム（提出されたプログラム）のソースコード
