Fix CI

tony-josi-aws · tony-josi-aws · commit 0782592a4271 · 2025-01-24T15:46:27.000+05:30
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -129,7 +129,7 @@ jobs:
           exclude-dirs: source/portable/NetworkInterface/STM32
 
   formatting:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v4
       - name: Check formatting
diff --git a/test/cbmc/proofs/DNS/DNSTreatNBNS/Makefile.json b/test/cbmc/proofs/DNS/DNSTreatNBNS/Makefile.json
@@ -9,7 +9,7 @@
     "--unwindset prvFindEntryIndex.0:2",
     "--unwindset strcmp.0:{NBNS_NAME_MAX_LENGTH}",
     "--unwindset strlen.0:{NBNS_NAME_MAX_LENGTH}",
-    "--unwindset strncpy.0:{NBNS_NAME_MAX_LENGTH}"
+    "--unwindset strcpy.0:{NBNS_NAME_MAX_LENGTH}"
   ],
   "OBJS":
   [

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@`
`9`	`9`	`"--unwindset prvFindEntryIndex.0:2",`
`10`	`10`	`"--unwindset strcmp.0:{NBNS_NAME_MAX_LENGTH}",`
`11`	`11`	`"--unwindset strlen.0:{NBNS_NAME_MAX_LENGTH}",`
`12`		`- "--unwindset strncpy.0:{NBNS_NAME_MAX_LENGTH}"`
	`12`	`+ "--unwindset strcpy.0:{NBNS_NAME_MAX_LENGTH}"`
`13`	`13`	`],`
`14`	`14`	`"OBJS":`
`15`	`15`	`[`