Skip to content
CI

feature: ignore-case for git-grep command by default #3695

Sign in to view logs

feature: ignore-case for git-grep command by default

feature: ignore-case for git-grep command by default #3695

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Push Image to GHCR
0s
build
6m 45s
6m 45s