diff options
| author | Giles Cope <[email protected]> | 2020-01-09 13:18:16 +0000 |
|---|---|---|
| committer | Giles Cope <[email protected]> | 2020-01-09 13:18:16 +0000 |
| commit | cbd0baf20be0077e8c2791a6a292df561d2b6c80 (patch) | |
| tree | fd218ace9025da54f4d3511adb2d09c097759ce7 /.github | |
| parent | dd5e1b652ff7f6c560e8a486401e84d57a463597 (diff) | |
Getting to grips with github format...
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yaml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 0376fd28c..fa8e47210 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml | |||
| @@ -103,9 +103,13 @@ jobs: | |||
| 103 | - run: npm run package --scripts-prepend-node-path | 103 | - run: npm run package --scripts-prepend-node-path |
| 104 | working-directory: ./editors/code | 104 | working-directory: ./editors/code |
| 105 | 105 | ||
| 106 | - name: Remove files not to be published | 106 | - name: Create distribution directory |
| 107 | run: mkdir ./dist | 107 | run: mkdir ./dist |
| 108 | |||
| 109 | - name: Copy vscode extension | ||
| 108 | run: cp ./editors/code/*.vsix ./dist/code/ | 110 | run: cp ./editors/code/*.vsix ./dist/code/ |
| 111 | |||
| 112 | - name: Copy emacs mode | ||
| 109 | run: cp -R ./editors/emacs ./dist/ | 113 | run: cp -R ./editors/emacs ./dist/ |
| 110 | 114 | ||
| 111 | - name: Upload artifacts | 115 | - name: Upload artifacts |