diff options
| author | Jakob Odersky <jakob@odersky.com> | 2019-01-05 22:03:40 +0100 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2019-01-05 22:03:40 +0100 |
| commit | d19f4835c5ae4fc8d8a324a27f5455451f3a1896 (patch) | |
| tree | ed5776b5852e9bb776e34c3977d7958935706756 | |
| download | test-d19f4835c5ae4fc8d8a324a27f5455451f3a1896.tar.gz test-d19f4835c5ae4fc8d8a324a27f5455451f3a1896.tar.bz2 test-d19f4835c5ae4fc8d8a324a27f5455451f3a1896.zip | |
Initial commit
| -rwxr-xr-x | .ci/run | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -0,0 +1,6 @@ +#!/bin/bash + +echo "Hello, world!" +sleep 1 +echo "Done" >&2 +exit 0
\ No newline at end of file |