diff options
| author | vsrs <[email protected]> | 2020-05-23 13:37:07 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-23 13:37:07 +0100 |
| commit | ca230627c630e3f7dcd55a26aadd161365d29628 (patch) | |
| tree | 5f3b96f5408ffa13b80475fbfe780d25fba92b19 /.github | |
| parent | 1739a542f89ebf207eb42fec9ffc31f365e50ff6 (diff) | |
try to run TypeScript CI on windows
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yaml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 7cb89834e..bf56ac610 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml | |||
| @@ -97,7 +97,7 @@ jobs: | |||
| 97 | 97 | ||
| 98 | typescript: | 98 | typescript: |
| 99 | name: TypeScript | 99 | name: TypeScript |
| 100 | runs-on: ubuntu-latest | 100 | runs-on: windows-latest |
| 101 | steps: | 101 | steps: |
| 102 | - name: Checkout repository | 102 | - name: Checkout repository |
| 103 | uses: actions/checkout@v2 | 103 | uses: actions/checkout@v2 |
| @@ -110,7 +110,7 @@ jobs: | |||
| 110 | - run: npm ci | 110 | - run: npm ci |
| 111 | working-directory: ./editors/code | 111 | working-directory: ./editors/code |
| 112 | 112 | ||
| 113 | - run: npm audit || { sleep 10 && npm audit; } || { sleep 30 && npm audit; } | 113 | - run: npm audit # || { sleep 10 && npm audit; } || { sleep 30 && npm audit; } |
| 114 | working-directory: ./editors/code | 114 | working-directory: ./editors/code |
| 115 | 115 | ||
| 116 | - run: npm run lint | 116 | - run: npm run lint |