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 | |
| parent | 5ee3a54001fe4291a0a5c3ce3beb33f856836cbb (diff) | |
| download | klee-2e397d9e42c640f705da70cb64ff3ada05119a5b.tar.gz | |
Switch FreeBSD CI to 12.2 and 13.0, as 11.4 has gone EOL.
| -rw-r--r-- | .cirrus.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 7e25bcb8..e4bd4613 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -1,8 +1,8 @@ task: freebsd_instance: matrix: - - image_family: freebsd-11-4-snap - image_family: freebsd-12-2-snap + - image_family: freebsd-13-0-snap deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf - env ASSUME_ALWAYS_YES=yes pkg update -f |