use secret instead of token (#233)

I fixed the github action that builds the prereq, but I forgot to fix this one
This commit is contained in:
Kevin O'Brien 2020-07-24 13:31:43 -04:00 committed by GitHub
parent e631283c71
commit 75716baa2f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -35,7 +35,7 @@ script:
after_success: after_success:
- if [ $TRAVIS_PULL_REQUEST == false ] && [ $TRAVIS_BRANCH == "master" ]; then - if [ $TRAVIS_PULL_REQUEST == false ] && [ $TRAVIS_BRANCH == "master" ]; then
echo "Pushing new build to docker hub"; echo "Pushing new build to docker hub";
docker login -u onnxmlirczar -p 143f1da2-332f-45a1-8587-d6cb07c13230; docker login -u onnxmlirczar -p "$DOCKER_HUB_TOKEN";
docker push onnxmlirczar/onnx-mlir-build:$TRAVIS_CPU_ARCH; docker push onnxmlirczar/onnx-mlir-build:$TRAVIS_CPU_ARCH;
else else
echo "Skip pushing build"; echo "Skip pushing build";