[xen stable-4.17] CI: Resync FreeBSD config with staging

[patchbot@xxxxxxx]

commit f00d56309533427981f09ef2614f1bae4bcab62e
Author:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
AuthorDate: Fri Feb 17 11:16:32 2023 +0000
Commit:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
CommitDate: Tue Aug 22 14:36:53 2023 +0100

    CI: Resync FreeBSD config with staging
    
    CI: Update FreeBSD to 13.1
    
    Also print the compiler version before starting.  It's not easy to find
    otherwise, and does change from time to time.
    
    Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
    Reviewed-by: Anthony PERARD <anthony.perard@xxxxxxxxxx>
    (cherry picked from commit 5e7667ea2dd33e0e5e0f3a96db37fdb4ecd98fba)
    
    CI: Update FreeBSD to 13.2
    
    Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
    Acked-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
    (cherry picked from commit f872a624cbf92de9944483eea7674ef80ced1380)
    
    CI: Update FreeBSD to 12.4
    
    Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
    Reviewed-by: Roger Pau Monné <roger.pau@xxxxxxxxxx>
    (cherry picked from commit a73560896ce3c513460f26bd1c205060d6ec4f8a)
---
 .cirrus.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.cirrus.yml b/.cirrus.yml
index c38333e736..7e0beb200d 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -10,19 +10,20 @@ freebsd_template: &FREEBSD_TEMPLATE
                                  libxml2 glib git
 
   build_script:
+    - cc --version
     - ./configure --with-system-seabios=/usr/local/share/seabios/bios.bin
     - gmake -j`sysctl -n hw.ncpu` clang=y
 
 task:
   name: 'FreeBSD 12'
   freebsd_instance:
-    image_family: freebsd-12-3
+    image_family: freebsd-12-4
   << : *FREEBSD_TEMPLATE
 
 task:
   name: 'FreeBSD 13'
   freebsd_instance:
-    image_family: freebsd-13-0
+    image_family: freebsd-13-2
   << : *FREEBSD_TEMPLATE
 
 task:
--
generated by git-patchbot for /home/xen/git/xen.git#stable-4.17