From e5db5019062d5cabf8f5c0c8e7221159f4abe0b5 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Sun, 22 Sep 2019 22:09:37 -0400 Subject: foo --- .github/workflows/main.yml | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1165df3..608dbdb 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -9,16 +9,14 @@ jobs: steps: - uses: actions/checkout@v1 + - uses: jodersky/setup-mill@master - name: Import key run: echo "${{secrets.GPG_KEY}}" | gpg --import - - name: run tests - uses: ./ci/mill - with: - args: commando.compile - - name: check caching - uses: ./ci/mill - with: - args: commando.test + - name: Compile + run: mill commando.compile + - name: Test + run: mill commando.test + # - 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