mirror of
https://github.com/VSCodium/vscode-linux-build-agent.git
synced 2026-02-04 03:50:53 -06:00
[PR #7] [MERGED] build: add ripgrep #22
Loading…
x
Reference in New Issue
Block a user
No description provided.
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/7
Author: @daiyam
Created: 7/23/2022
Status: ✅ Merged
Merged: 7/23/2022
Merged by: @daiyam
Base:
master← Head:build-ripgrep📝 Commits (4)
ddcbd03build: add ripgrep and bc6045009build: add bc to x8642c589efix: correctly install ripgrepd4d9481Merge remote-tracking branch 'upstream/master' into build-ripgrep📊 Changes
3 files changed (+19 additions, -9 deletions)
View changed files
📝
bionic-x64/Dockerfile(+7 -5)📝
stretch-arm64/Dockerfile(+6 -2)📝
stretch-armhf/Dockerfile(+6 -2)📄 Description
This PR is adding
ripgrep.Fixes: #6
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.