feat: migrate to docusaurus (#13471)

This commit is contained in:
Julien Robert
2022-10-10 14:01:53 +00:00
committed by GitHub
parent 7167371f87
commit a74989ddf4
226 changed files with 30164 additions and 9948 deletions
+2 -2
View File
@@ -13,7 +13,7 @@ permissions:
jobs:
check-docs-build:
if: ${{ github.event.label.name == 'docs' }}
if: ${{ contains(github.event.label.name, 'docs') }}
name: Check docs build
runs-on: ubuntu-latest
@@ -26,4 +26,4 @@ jobs:
- name: Build docs
run: |
make build-docs LEDGER_ENABLED=false
make build-docs
+6 -4
View File
@@ -19,8 +19,6 @@ jobs:
permissions:
contents: write # for JamesIves/github-pages-deploy-action to push changes in repo
runs-on: ubuntu-latest
container:
image: ghcr.io/cosmos/website-deployment
steps:
- name: Checkout 🛎️
uses: actions/checkout@v3
@@ -29,10 +27,14 @@ jobs:
fetch-depth: 0
path: "."
- name: Use Node.js
uses: actions/setup-node@v3
with:
node-version: "16.x"
- name: Build 🔧
run: |
git config --global --add safe.directory /__w/cosmos-sdk/cosmos-sdk
make build-docs LEDGER_ENABLED=false
make build-docs
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@v4.4.0