Fix CI

Author: tony-josi-aws

.github/workflows/ci.yml

@@ -129,7 +129,7 @@ jobs:
           exclude-dirs: source/portable/NetworkInterface/STM32
 
   formatting:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - name: Check formatting

test/cbmc/proofs/DNS_ParseDNSReply/Configurations.json

@@ -1,6 +1,6 @@
 {
   "ENTRY": "DNS_ParseDNSReply",
-  "TEST_MAX_TEST_UNWIND_LOOP": 8,
+  "TEST_MAX_TEST_UNWIND_LOOP": 4,
   "TEST_MIN_TEST_DNS_HEADER": 12,
   "TEST_MIN_IPV4_UDP_PACKET_SIZE": 42,
   "TEST_MIN_IPV6_UDP_PACKET_SIZE": 62,