From 801eafa9a0117eff301375ee46cb09f8ee2b6b4c Mon Sep 17 00:00:00 2001 From: Marc Beninca Date: Fri, 22 Mar 2024 23:19:54 +0100 Subject: [PATCH] workspace --- workspace | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 workspace 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}"