terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Build circt-doc in CI 

Some changes can break the `circt-doc` target without anyone noticing.
This change adds it to CI pre-merge checks.  Building the documentation
is very quick and should not affect build times in a significant way.
This commit is contained in:
Andrew Young 2021-02-04 00:46:53 -08:00
parent d72d6107d3
commit 08686ff731
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/buildAndTest.yml vendored
View File

@ -143,6 +143,7 @@ jobs:
-DLLVM_EXTERNAL_LIT=`pwd`/../llvm/build/bin/llvm-lit \
-DCMAKE_EXPORT_COMPILE_COMMANDS=ON
make check-circt -j$(nproc)
make circt-doc
# Build the CIRCT test target in release mode to build and test.
- name: Build and Test CIRCT (Release)
@ -159,6 +160,7 @@ jobs:
-DCMAKE_CXX_COMPILER=clang++ \
-DLLVM_EXTERNAL_LIT=`pwd`/../llvm/build/bin/llvm-lit
make check-circt -j$(nproc)
make circt-doc
# --------
# Lint the CIRCT C++ code.