diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-11-30 17:08:06 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-12-02 15:11:39 +0000 |
| commit | 96ce9feee0c05275cc2dae9fb0e2f9f42b035c91 (patch) | |
| tree | c987c8dcc0464aa5b254a8a0e0546f0bb6097dfb /README.md | |
| parent | d450b92e6faa361dae7f425e285b42b6792691d0 (diff) | |
| download | klee-96ce9feee0c05275cc2dae9fb0e2f9f42b035c91.tar.gz | |
Add Github Actions for KLEE CI based @jordr
Add support for Github Actions to use as new CI. This builds all the components as the original Travis CI script.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md index d1b18c57..bbadb242 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,7 @@ KLEE Symbolic Virtual Machine ============================= [](https://travis-ci.com/klee/klee) +[](https://github.com/klee/klee/actions?query=workflow%3ACI) [](https://cirrus-ci.com/github/klee/klee) [](https://codecov.io/gh/klee/klee) |