diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-21 22:46:51 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-03-22 09:21:48 +0000 |
| commit | 71c1c45fe266d73e307f422f09f2afdc41c70ec3 (patch) | |
| tree | eca83ab993154eafd305af9e84e600af129bbb55 /.github/workflows | |
| parent | bde908f947d1fba7bd33027588380f20b2930a52 (diff) | |
| download | klee-71c1c45fe266d73e307f422f09f2afdc41c70ec3.tar.gz | |
Add Doxygen to one CI target
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yaml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index efd72c48..cc3945bb 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -38,7 +38,7 @@ jobs: name: [ "LLVM 13", "LLVM 12", - "LLVM 11", + "LLVM 11, Doxygen", "LLVM 10", "LLVM 9", "LLVM 8", @@ -62,9 +62,10 @@ jobs: - name: "LLVM 12" env: LLVM_VERSION: 12 - - name: "LLVM 11" + - name: "LLVM 11, Doxygen" env: LLVM_VERSION: 11 + ENABLE_DOXYGEN: 1 - name: "LLVM 10" env: LLVM_VERSION: 10 |