diff options
| author | Gleb Popov <6yearold@gmail.com> | 2020-09-04 09:50:29 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-04 18:02:43 +0100 |
| commit | 0e2d540a1f3f65cdc09fec6a696ec66c4bcc3e98 (patch) | |
| tree | ee4f1b9d88727a9e6e49cd7f19f875516214aa16 /.cirrus.yml | |
| parent | 45a194b06a98fe781a5547df174df50bd9ed9132 (diff) | |
| download | klee-0e2d540a1f3f65cdc09fec6a696ec66c4bcc3e98.tar.gz | |
CirrusCI: Switch FreeBSD 11.3 to 11.4, remove old hack.
Diffstat (limited to '.cirrus.yml')
| -rw-r--r-- | .cirrus.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 432e957b..003dca1d 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -1,11 +1,10 @@ task: freebsd_instance: matrix: - - image_family: freebsd-11-3-snap + - image_family: freebsd-11-4-snap - image_family: freebsd-12-1-snap deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf - - env ASSUME_ALWAYS_YES=yes pkg bootstrap -f - env ASSUME_ALWAYS_YES=yes pkg update -f - env ASSUME_ALWAYS_YES=yes pkg install -y llvm80 gmake z3 cmake pkgconf google-perftools python3 python37 py37-sqlite3 py37-tabulate build_script: |