diff --git a/.circleci/config.yml b/.circleci/config.yml index e73a002..8014ccf 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -214,6 +214,14 @@ workflows: jobs: - periodic-trigger-pipeline + zrepl.github.io: + jobs: + - publish-zrepl-github-io: + filters: + branches: + only: + - stable + jobs: quickcheck-docs: docker: @@ -342,3 +350,31 @@ jobs: body_no_shell_subst: '{"branch":"master", "parameters": { "do_ci": true, "do_release": true }}' - trigger-pipeline: body_no_shell_subst: '{"branch":"stable", "parameters": { "do_ci": true, "do_release": true }}' + + publish-zrepl-github-io: + docker: + - image: cimg/python:3.7 + steps: + - checkout + - invoke-lazy-sh: + subcommand: docdep + - run: + command: | + git config --global user.email "me@cschwarz.com" + git config --global user.name "zrepl-github-io-ci" + + # https://circleci.com/docs/2.0/add-ssh-key/#adding-multiple-keys-with-blank-hostnames + - run: ssh-add -D + # the default circleci ssh config only additional ssh keys for Host !github.com + - run: + command: | + cat > ~/.ssh/config \<