"src/libtorio/ffmpeg/stream_reader/conversion.cpp" did not exist on "c12f4734807b57f3d5a27fac91296fe9efdced58"
Unverified Commit 3616961b authored by Matti Picus's avatar Matti Picus Committed by GitHub
Browse files

Fix doc push job (#1098)

parent c9b64dc8
......@@ -698,10 +698,9 @@ jobs:
# Don't use "checkout" step since it uses ssh, which cannot git push
# https://circleci.com/docs/2.0/configuration-reference/#checkout
set -ex
echo $PWD
tag=${CIRCLE_TAG:1:5}
target=${tag:-master}
.circleci/build_docs/commit_docs.sh ~/workspace $target
~/workspace/.circleci/build_docs/commit_docs.sh ~/workspace $target
workflows:
build:
......
......@@ -698,10 +698,9 @@ jobs:
# Don't use "checkout" step since it uses ssh, which cannot git push
# https://circleci.com/docs/2.0/configuration-reference/#checkout
set -ex
echo $PWD
tag=${CIRCLE_TAG:1:5}
target=${tag:-master}
.circleci/build_docs/commit_docs.sh ~/workspace $target
~/workspace/.circleci/build_docs/commit_docs.sh ~/workspace $target
workflows:
build:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment