diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-06-26 11:30:44 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-06-26 16:54:01 +0100 |
| commit | ecb3e97abaea6e1bc83f561d933afce18f63a8c3 (patch) | |
| tree | 85790c239168a536b410a7ce1921a6e8f0098785 /.cirrus.yml | |
| parent | 3fd9be596e20664e62f8daf5ddabaa10d7b4de3f (diff) | |
| download | klee-ecb3e97abaea6e1bc83f561d933afce18f63a8c3.tar.gz | |
Revert to FreeBSD 12.1-STABLE (13.0-CURRENT has started running into issues)
Diffstat (limited to '.cirrus.yml')
| -rw-r--r-- | .cirrus.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index e015dbdd..ef3ee9b6 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -2,7 +2,7 @@ task: freebsd_instance: matrix: - image_family: freebsd-11-3-snap - - image_family: freebsd-13-0-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 |