/ci-tests/

• ../
• build-spike
• create-ci-binary-tarball
• hello.c
• test-spike
• testlib.c