diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2022-03-25 23:16:45 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-30 12:18:59 +0100 |
| commit | 0d747ccf52025ac0d0d9067fbda33fb61a8d9843 (patch) | |
| tree | dffc6f6123610127dca823db662f6ef8a16079ef /scripts/build | |
| parent | 29649c341bdfcf660780833ee2c27abb6bf23eb0 (diff) | |
| download | klee-0d747ccf52025ac0d0d9067fbda33fb61a8d9843.tar.gz | |
Update GitHub Actions build.yaml
* Set SANITIZER_LLVM_VERSION for sanitizers * Remove unnecessary SANITIZER_BUILD * Set LLVM 6 to LLVM_VERSION 6.0 to follow old schema
Diffstat (limited to 'scripts/build')
0 files changed, 0 insertions, 0 deletions