diff options
author | Gleb Popov <6yearold@gmail.com> | 2020-02-21 09:11:46 +0400 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-02-23 15:58:27 +0000 |
commit | fda7031cfa592ba6cf11728ac8b9fc2e18843b03 (patch) | |
tree | 3eff2180b1c2e40f189d3105247db6be0736057c | |
parent | 6b38b78ac193c30639bc90e7bae40225072e8adc (diff) | |
download | klee-fda7031cfa592ba6cf11728ac8b9fc2e18843b03.tar.gz |
Use FreeBSD 11.3-STABLE instead of EoLed 11.2.
-rw-r--r-- | .cirrus.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index f9645ed4..f91bf160 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -1,7 +1,7 @@ task: freebsd_instance: matrix: - - image: freebsd-11-2-release-amd64 + - image: freebsd-11-3-stable-amd64-v20190801 - image: freebsd-12-0-release-amd64 deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf |