Skip to content

use git cat-file -e instead of git rev-list in _rev_exists #726

use git cat-file -e instead of git rev-list in _rev_exists

use git cat-file -e instead of git rev-list in _rev_exists #726

Triggered via pull request December 26, 2025 23:09
Status Success
Total duration 23s
Artifacts

languages.yaml

on: pull_request
Matrix: language
collector
2s
collector
Fit to window
Zoom out
Zoom in