Skip to content

Commit

Permalink
Remove CircleCI.
Browse files Browse the repository at this point in the history
  • Loading branch information
Marcel Steinbeck committed Sep 3, 2019
1 parent 91db6b2 commit 3c77a71
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions tools/ci/deploy.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -231,9 +231,6 @@ pushd "$DOCS_BRANCH_DIR"
# Copy TravisCI config file.
cp "$TRAVISCI_CONFIG_PATH" ./

# Copy CircleCI config directory.
cp -R "$CIRCLECI_CONFIG_DIR" ./

# Set user name and email for commit.
git config user.name "Travis CI"
git config user.email "travis@tinyspline.org"
Expand Down

0 comments on commit 3c77a71

Please sign in to comment.