From 809c6505d7b6a43132a182e9e9aa24d0a7b7bf95 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Sun, 22 Sep 2019 22:16:39 -0400 Subject: share working directory --- .github/workflows/main.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 608dbdb..4b82d74 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -12,11 +12,14 @@ jobs: - uses: jodersky/setup-mill@master - name: Import key run: echo "${{secrets.GPG_KEY}}" | gpg --import - - name: Compile + - name: Build run: mill commando.compile - name: Test run: mill commando.test - + - name: ls + run: ls -lah . + + # - name: Setup mill # run: | # curl -L https://github.com/lihaoyi/mill/releases/download/0.5.1/0.5.1 | sudo tee /usr/local/bin/mill > /dev/null -- cgit v1.2.3