diff options
| author | Gleb Popov <6yearold@gmail.com> | 2022-05-05 09:36:31 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-05-05 04:32:35 -0700 |
| commit | b4d84e54d2a72a3d3d7218b4c9ab25c9be17a8a8 (patch) | |
| tree | 7654e266e8038f8fef0cd25284fb09d2dfe311f1 | |
| parent | 1a1b60e82f351baf5b72bf5d7cf740e34378f0bc (diff) | |
| download | klee-b4d84e54d2a72a3d3d7218b4c9ab25c9be17a8a8.tar.gz | |
Switch FreeBSD 12 CI to a supported release.
| -rw-r--r-- | .cirrus.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index e4bd4613..4f263946 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -1,7 +1,7 @@ task: freebsd_instance: matrix: - - image_family: freebsd-12-2-snap + - image_family: freebsd-12-3-snap - image_family: freebsd-13-0-snap deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf |