Skip to content
CI

config: use repo_ignore_case() to access core.ignorecase #28642

Sign in to view logs

config: use repo_ignore_case() to access core.ignorecase

config: use repo_ignore_case() to access core.ignorecase #28642

Triggered via push June 19, 2026 23:38
@gitgitgadgetgitgitgadget[bot]
pushed e6a79c9
ty/migrate-ignorecase
Status Success
Total duration 1m 47s
Artifacts –

main.yml

on: push
config
7s
config
win+VS build
0s
win+VS build
win+Meson build
0s
win+Meson build
win build
0s
win build
fuzz smoke test
0s
fuzz smoke test
static-analysis
0s
static-analysis
rust-analysis
0s
rust-analysis
sparse
0s
sparse
documentation
0s
documentation
Matrix: dockerized
Matrix: regular
Matrix: win+VS test
Matrix: win+Meson test
Matrix: win test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
config
Successful run for the tree 972b09d8c66c077e62bce32937d84ff5dec1f376: https://github.com/gitgitgadget/git/actions/runs/27798732779