mirror of
https://github.com/logos-messaging/logos-messaging-nim.git
synced 2026-01-03 14:33:12 +00:00
fix(ci): remove nim doc action temporarily (#1456)
* fix(ci): changes to nim doc input * fix(ci): remove docs ci
This commit is contained in:
parent
2f95692f28
commit
2915b19dbd
39
.github/workflows/docs.yml
vendored
39
.github/workflows/docs.yml
vendored
@ -1,39 +0,0 @@
|
||||
name: docs
|
||||
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
- master
|
||||
|
||||
jobs:
|
||||
docs:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Checkout code
|
||||
uses: actions/checkout@v2
|
||||
|
||||
# We need to do this because of how github cache works
|
||||
# I am not sure we can move the cache file, so if we do not do this
|
||||
# make update breaks because the cached compiler is there where the submodules
|
||||
# are meant to go.
|
||||
- name: Submodules
|
||||
run: |
|
||||
git submodule update --init --recursive
|
||||
- name: Cache nim
|
||||
uses: actions/cache@v1
|
||||
with:
|
||||
path: vendor/nimbus-build-system/vendor/Nim/bin
|
||||
key: ${{ runner.os }}-2-nim-${{ hashFiles('.gitmodules') }}
|
||||
|
||||
- name: Install dependencies
|
||||
run: |
|
||||
make -j2 NIMFLAGS="--parallelBuild:2" V=1 update
|
||||
make -j2 NIMFLAGS="--parallelBuild:2" LOG_LEVEL=TRACE
|
||||
- name: Generate docs
|
||||
run: |
|
||||
make -j2 NIMFLAGS="--parallelBuild:2" V=1 docs
|
||||
- name: Deploy documents
|
||||
uses: peaceiris/actions-gh-pages@v3
|
||||
with:
|
||||
github_token: ${{ secrets.GITHUB_TOKEN }}
|
||||
publish_dir: ${{ env.deploy-dir }}
|
||||
2
Makefile
2
Makefile
@ -219,7 +219,7 @@ sim1: | build deps wakunode1
|
||||
# TODO: Remove unused target
|
||||
docs: | build deps
|
||||
echo -e $(BUILD_MSG) "build/$@" && \
|
||||
$(ENV_SCRIPT) nim doc --accept --index:on --project --out:.gh-pages waku/waku.nim waku.nims
|
||||
$(ENV_SCRIPT) nim doc --run --index:on --project --out:.gh-pages waku/waku.nim waku.nims
|
||||
|
||||
|
||||
#####################
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user