From 5349fad6edaa534819d91410b63386de8d217dd6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 18 Feb 2026 08:36:03 -0800 Subject: [PATCH] fixup docs.ytml Signed-off-by: Nikolaj Bjorner --- .github/workflows/docs.yml | 36 +++++++++++++++++++++++++++++++++--- 1 file changed, 33 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 987268215..d9fd44f6c 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -16,9 +16,34 @@ env: EM_VERSION: 3.1.73 jobs: + build-go-docs: + name: Build Go Documentation + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v6.0.2 + + - name: Setup Go + uses: actions/setup-go@v5 + with: + go-version: '1.21' + + - name: Generate Go Documentation + working-directory: doc + run: | + python3 mk_go_doc.py --output-dir=api/html/go --go-api-path=../src/api/go + + - name: Upload Go Documentation + uses: actions/upload-artifact@v4 + with: + name: go-docs + path: doc/api/html/go/ + retention-days: 1 + build-docs: name: Build Documentation runs-on: ubuntu-latest + needs: build-go-docs steps: - name: Checkout uses: actions/checkout@v6.0.2 @@ -93,12 +118,17 @@ jobs: which clang++ npm run build:wasm - - name: Generate JS and Go Documentation (from doc directory) + - name: Generate JS Documentation (from doc directory) working-directory: doc run: | eval $(opam env) - python3 mk_api_doc.py --js --go --output-dir=api --mld --z3py-package-path=../build-x64/python/z3 --build=../build-x64 - python3 mk_go_doc.py + python3 mk_api_doc.py --js --output-dir=api --mld --z3py-package-path=../build-x64/python/z3 --build=../build-x64 + + - name: Download Go Documentation + uses: actions/download-artifact@v4 + with: + name: go-docs + path: doc/api/html/go/ - name: Deploy to z3prover.github.io uses: peaceiris/actions-gh-pages@v4