Update *BSD CI actions to the latest OS versions

This should fix the repeat OpenBSD CI failures.

Author: tautschnig

.github/workflows/bsd.yaml

@@ -18,18 +18,18 @@ jobs:
         with:
           save-always: true
           path: .ccache
-          key: freebsd-13.2-gmake-${{ github.ref }}-${{ github.sha }}-PR
+          key: freebsd-15.0-gmake-${{ github.ref }}-${{ github.sha }}-PR
           restore-keys: |
-            freebsd-13.2-gmake-${{ github.ref }}
-            freebsd-13.2-gmake
+            freebsd-15.0-gmake-${{ github.ref }}
+            freebsd-15.0-gmake
       - name: ccache environment
         run: |
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
           echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
       - name: Build and Test
         uses: vmactions/freebsd-vm@v1
         with:
-          release: 13.2
+          release: 15.0
           usesh: true
           run: |
             # apparently fail-on-error isn't the default here
@@ -80,18 +80,18 @@ jobs:
         with:
           save-always: true
           path: .ccache
-          key: openbsd-7.6-gmake-${{ github.ref }}-${{ github.sha }}-PR
+          key: openbsd-7.7-gmake-${{ github.ref }}-${{ github.sha }}-PR
           restore-keys: |
-            openbsd-7.6-gmake-${{ github.ref }}
-            openbsd-7.6-gmake
+            openbsd-7.7-gmake-${{ github.ref }}
+            openbsd-7.7-gmake
       - name: ccache environment
         run: |
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
           echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
       - name: Build and Test
         uses: vmactions/openbsd-vm@v1
         with:
-          release: 7.6
+          release: 7.7
           run: |
             # apparently fail-on-error isn't the default here
             set -e -x
@@ -142,18 +142,18 @@ jobs:
         with:
           save-always: true
           path: .ccache
-          key: netbsd-9.3-gmake-${{ github.ref }}-${{ github.sha }}-PR
+          key: netbsd-10.1-gmake-${{ github.ref }}-${{ github.sha }}-PR
           restore-keys: |
-            netbsd-9.3-gmake-${{ github.ref }}
-            netbsd-9.3-gmake
+            netbsd-10.1-gmake-${{ github.ref }}
+            netbsd-10.1-gmake
       - name: ccache environment
         run: |
           echo "CCACHE_BASEDIR=$PWD" >> $GITHUB_ENV
           echo "CCACHE_DIR=$PWD/.ccache" >> $GITHUB_ENV
       - name: Build and Test
         uses: vmactions/netbsd-vm@v1
         with:
-          release: 9.3
+          release: 10.1
           run: |
             # apparently fail-on-error isn't the default here
             set -e -x

COMPILING.md

@@ -12,11 +12,8 @@ integration system. It separately tests both the CMake build system and the
 hand-written make files. The latest build steps being used in CI can be
 [found here](https://github.com/diffblue/cbmc/blob/develop/.github/workflows/pull-request-checks.yaml).
 
-The environments below have been used successfully in the
-past, but are not actively tested:
-
-- Solaris 11
-- FreeBSD 13
+The Solaris 11 environmentsbelow have been used successfully in the past, but is
+not actively tested.
 
 # Building using CMake