diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-06 19:33:36 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-03-10 12:30:58 +0000 |
| commit | 25fefb66f987b94a0c4c4593d81260660028b2d2 (patch) | |
| tree | 379c22a6c556a4c146fb502f29f66ce4990a947e | |
| parent | 079d6b928c2c7864e7d8023b0c41ca7f2cb9c904 (diff) | |
| download | klee-25fefb66f987b94a0c4c4593d81260660028b2d2.tar.gz | |
Use -snap VMs on Cirrus for FreeBSD
| -rw-r--r-- | .cirrus.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index f91bf160..4b326aea 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -1,8 +1,8 @@ task: freebsd_instance: matrix: - - image: freebsd-11-3-stable-amd64-v20190801 - - image: freebsd-12-0-release-amd64 + - image_family: freebsd-11-3-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 bootstrap -f |