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 /.cirrus.yml | |
| 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 '.cirrus.yml')
0 files changed, 0 insertions, 0 deletions