diff options
author | Jakob Odersky <jakob@odersky.com> | 2019-09-22 22:09:37 -0400 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2019-09-22 22:11:42 -0400 |
commit | e5db5019062d5cabf8f5c0c8e7221159f4abe0b5 (patch) | |
tree | 49c1b32fa219f5bf2c21475afe662dec70111cbc | |
parent | bbe090d3b63235c595b39fb6416a0f890d6d9b30 (diff) | |
download | commando-e5db5019062d5cabf8f5c0c8e7221159f4abe0b5.tar.gz commando-e5db5019062d5cabf8f5c0c8e7221159f4abe0b5.tar.bz2 commando-e5db5019062d5cabf8f5c0c8e7221159f4abe0b5.zip |
foo
-rw-r--r-- | .github/workflows/main.yml | 14 |
1 files 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 |