diff options
author | Jakob Odersky <jakob@odersky.com> | 2019-09-22 22:16:39 -0400 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2019-09-22 22:23:02 -0400 |
commit | 809c6505d7b6a43132a182e9e9aa24d0a7b7bf95 (patch) | |
tree | 1406cc23ddf5aa659cefd391b4b8b86424242c5d | |
parent | e5db5019062d5cabf8f5c0c8e7221159f4abe0b5 (diff) | |
download | commando-809c6505d7b6a43132a182e9e9aa24d0a7b7bf95.tar.gz commando-809c6505d7b6a43132a182e9e9aa24d0a7b7bf95.tar.bz2 commando-809c6505d7b6a43132a182e9e9aa24d0a7b7bf95.zip |
share working directory
-rw-r--r-- | .github/workflows/main.yml | 7 |
1 files 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 |