pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-09-11 19:17:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

CI: Delete cached ripgrep before each re-download (exercise the HTTPS connections properly)

Browse Source
This commit is contained in:
DeeDeeG 2023-06-17 11:32:46 -04:00
parent 63af1fbe9e
commit 7fc051cde2
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.cirrus.yml
View File

@ -16,12 +16,17 @@ arm_linux_task:
- npm init -y --verbose
- npm install --verbose --foreground-scripts vscode-ripgrep; cat /root/.npm/_logs/*.log
- npm cache clean --force
- rm -rfv /tmp/vscode-ripgrep-cache*/
- npm ci --verbose --foreground-scripts; cat /root/.npm/_logs/*.log
- npm cache clean --force
- rm -rfv /tmp/vscode-ripgrep-cache*/
- npm ci --verbose --foreground-scripts; cat /root/.npm/_logs/*.log
- npm cache clean --force
- rm -rfv /tmp/vscode-ripgrep-cache*/
- npm ci --verbose --foreground-scripts; cat /root/.npm/_logs/*.log
- npm cache clean --force
- rm -rfv /tmp/vscode-ripgrep-cache*/
- npm ci --verbose --foreground-scripts; cat /root/.npm/_logs/*.log
- npm cache clean --force
- rm -rfv /tmp/vscode-ripgrep-cache*/
- npm ci --verbose --foreground-scripts; cat /root/.npm/_logs/*.log