mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-09-05 07:37:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

ci: remove circle (#5714)

Browse Source 
* remove circle

* remove prefix
This commit is contained in:
Marko
2020-11-24 19:11:40 +00:00
committed by GitHub
parent 98234b1171
commit 27e8cea9ce
3 changed files with 1 additions and 188 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/docs.yml
+1 -1
View File
@@ -21,7 +21,7 @@ jobs:
- name: Install and Build 🔧
run: |
apk add rsync
make build-gh-docs
make build-docs
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@3.7.1