mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-22 08:17:37 +00:00
Code Activity

fixup docs.ytml

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-02-18 08:36:03 -08:00
parent a077371520
commit c9720aa330
1 changed files with 33 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

36
.github/workflows/docs.yml vendored
View file

@ -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