From df7d00d65bd16bd8dcdade44c04b75cecda1ff65 Mon Sep 17 00:00:00 2001
From: ClementTsang <cjhtsang@uwaterloo.ca>
Date: Sun, 27 Jun 2021 20:53:44 -0400
Subject: [PATCH] ci: remove nightly set in docs ci

---
 .github/workflows/docs.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index edfa9602..85576d7a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -44,5 +44,3 @@ jobs:
         run: |
           cd docs
           mike deploy nightly --push
-          mike set-default --push nightly
-