diff --git a/workspace b/workspace new file mode 100755 index 0000000..817b2b8 --- /dev/null +++ b/workspace @@ -0,0 +1,2 @@ +apt-get install 'tree' +tree -a "${GITHUB_WORKSPACE}"