diff options
| author | Jakob Odersky <jakob@odersky.com> | 2019-01-05 23:12:41 +0100 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2019-01-05 23:15:23 +0100 |
| commit | 953b620961c252679f6124eb8bcd80265b181316 (patch) | |
| tree | 4c72e97b2dcda2da499903246a0e94b519ea2137 | |
| parent | d19f4835c5ae4fc8d8a324a27f5455451f3a1896 (diff) | |
| download | test-master.tar.gz test-master.tar.bz2 test-master.zip | |
Notes
a
| -rwxr-xr-x | .ci/run | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -3,4 +3,7 @@ echo "Hello, world!" sleep 1 echo "Done" >&2 -exit 0
\ No newline at end of file + +echo "foo" > repo/foo + +exit 0 |