Merge pull request #205 from nastena1606/PG-368-Doc-1.0.0-version

Pg 368 doc 1.0.0 version
This commit is contained in:
Lenz Grimmer
2022-04-14 08:10:14 +00:00
committed by GitHub

View File

@@ -45,5 +45,6 @@ jobs:
- name: Deploy docs - name: Deploy docs
run: | run: |
mike deploy REL1_0_STABLE -p mike deploy REL1_0_STABLE -p
mike set-default REL1_0_STABLE -p
mike retitle REL1_0_STABLE "1.0.x (stable)" -p mike retitle REL1_0_STABLE "1.0.x (stable)" -p