linuxci: provide failing input files

When the linuxci fails, we want to be able to easily understand the
failure.

The used one-line-scan tool already captures input files that cannot
be handled by goto-cc. This change archives these files for easy access.

Signed-off-by: Norbert Manthey <[email protected]>

Author: nmanthey

.github/workflows/build-and-test-Linux.yaml

@@ -70,5 +70,10 @@ jobs:
       - name: Check for faulty input
         run: ls CPROVER/faultyInput/* || true
 
+      - uses: actions/upload-artifact@v2
+        with:
+          name: CPROVER-faultyInput
+          path: CPROVER/faultyInput/*
+
       - name: Check for goto-cc section in a created file
         run: objdump -h linux_5_10/arch/x86/kernel/kvm.o | grep "goto-cc"