diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-03-04 10:30:57 +0000 |
|---|---|---|
| committer | Frank Busse <f.busse@imperial.ac.uk> | 2024-03-04 18:03:05 +0000 |
| commit | c7873a17fde8bf3748dc619ff7183d34304f6f90 (patch) | |
| tree | 630d6599f490931a44240e8fed00e18816e7f887 | |
| parent | a8648707f29e5839d64675c43fa7d244b162bc63 (diff) | |
| download | klee-c7873a17fde8bf3748dc619ff7183d34304f6f90.tar.gz | |
| -rw-r--r-- | .cirrus.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index d34f7eaa..149ae6d2 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -2,7 +2,6 @@ task: freebsd_instance: matrix: - image_family: freebsd-14-0 - - image_family: freebsd-13-2 deps_script: - sed -i.bak -e 's/quarterly/latest/' /etc/pkg/FreeBSD.conf - env ASSUME_ALWAYS_YES=yes pkg update -f |