diff options
| author | Gleb Popov <6yearold@gmail.com> | 2021-10-22 16:49:10 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-10-22 21:33:45 +0100 |
| commit | 2e397d9e42c640f705da70cb64ff3ada05119a5b (patch) | |
| tree | 72b0e783c8e81863de71139c60085f5c56ff404d /.codecov.yml | |
| parent | 5ee3a54001fe4291a0a5c3ce3beb33f856836cbb (diff) | |
| download | klee-2e397d9e42c640f705da70cb64ff3ada05119a5b.tar.gz | |
Switch FreeBSD CI to 12.2 and 13.0, as 11.4 has gone EOL.
Diffstat (limited to '.codecov.yml')
0 files changed, 0 insertions, 0 deletions