diff options
author | Jakob Odersky <jakob@odersky.com> | 2019-09-22 17:22:24 -0400 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2019-09-22 17:22:24 -0400 |
commit | bbe090d3b63235c595b39fb6416a0f890d6d9b30 (patch) | |
tree | 8944663c1e0cd3b583fbe896aa6925faa4eafca4 | |
parent | 2a1a6960ccaf0ed353abadff4237c283b31f7705 (diff) | |
download | commando-bbe090d3b63235c595b39fb6416a0f890d6d9b30.tar.gz commando-bbe090d3b63235c595b39fb6416a0f890d6d9b30.tar.bz2 commando-bbe090d3b63235c595b39fb6416a0f890d6d9b30.zip |
test caching
-rw-r--r-- | .github/workflows/main.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 09ef970..1165df3 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -14,6 +14,10 @@ jobs: - name: run tests uses: ./ci/mill with: + args: commando.compile + - name: check caching + uses: ./ci/mill + with: args: commando.test # - name: Setup mill # run: | |