mirror of
https://github.com/VSCodium/vscode-linux-build-agent.git
synced 2026-04-10 14:33:58 -05:00
[PR #12] [MERGED] fix: remove ripgrep on arm #16
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/VSCodium/vscode-linux-build-agent/pull/12
Author: @daiyam
Created: 8/5/2022
Status: ✅ Merged
Merged: 8/5/2022
Merged by: @daiyam
Base:
master← Head:fix-ripgrep📝 Commits (1)
aa183bbfix: remove ripgrep on arm📊 Changes
2 files changed (+0 additions, -10 deletions)
View changed files
📝
stretch-arm64/Dockerfile(+0 -5)📝
stretch-armhf/Dockerfile(+0 -5)📄 Description
This PR is removing
ripgrepsince it doesn't work in Github Actions.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.