diff options
| author | Gleb Popov <6yearold@gmail.com> | 2022-07-04 09:10:28 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-07-11 10:33:06 +0200 |
| commit | 64dfbcd7073e0286e8c0145e1750f9fe3abc7565 (patch) | |
| tree | 34656602d030b52f684ab8a91b46e78abcc2589f | |
| parent | d2f5906da4ae37a41ae257e5308d50e19689877b (diff) | |
| download | klee-64dfbcd7073e0286e8c0145e1750f9fe3abc7565.tar.gz | |
Switch FreeBSD CI to 13.1 and Python 3.9
| -rw-r--r-- | .cirrus.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 4f263946..8ac70fe5 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -2,11 +2,11 @@ task: freebsd_instance: matrix: - image_family: freebsd-12-3-snap - - image_family: freebsd-13-0-snap + - image_family: freebsd-13-1-snap deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf - env ASSUME_ALWAYS_YES=yes pkg update -f - - env ASSUME_ALWAYS_YES=yes pkg install -y llvm90 gmake z3 cmake pkgconf google-perftools python3 py38-sqlite3 py38-tabulate + - env ASSUME_ALWAYS_YES=yes pkg install -y llvm90 gmake z3 cmake pkgconf google-perftools python3 py39-sqlite3 py39-tabulate build_script: - mkdir build - cd build |