contract-verify action: exclude math_lib, qpi and TestExample

Author: Franziska-Mueller

.github/workflows/contract-verify.yml

@@ -10,11 +10,17 @@ on:
     branches: [ "main", "develop" ]
     paths:
       - 'src/contracts/*.h'
+      - '!src/contracts/math_lib.h'
+      - '!src/contracts/qpi.h'
+      - '!src/contracts/TestExample*.h'
       - '.github/workflows/contract-verify.yml'
   pull_request:
     branches: [ "main", "develop" ]
     paths:
       - 'src/contracts/*.h'
+      - '!src/contracts/math_lib.h'
+      - '!src/contracts/qpi.h'
+      - '!src/contracts/TestExample*.h'
       - '.github/workflows/contract-verify.yml'
 
 jobs: