Include example directory in zip creation

Author: leventeBajczi

.github/actions/create-archive/action.yml

@@ -19,7 +19,7 @@ runs:
       shell: bash
       run: |
         mkdir ConcurrentWitness2Test
-        cp venv *.py *.md LICENSE requirements.txt svcomp.c start.sh ConcurrentWitness2Test/ -r
+        cp venv *.py *.md LICENSE requirements.txt svcomp.c *.sh example ConcurrentWitness2Test/ -r
         zip ConcurrentWitness2Test.zip ConcurrentWitness2Test -r
     - name: Upload results
       uses: actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce # v3.1.2