Skip to content

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

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 #716

Triggered via pull request December 26, 2025 21:57
Status Success
Total duration 20s
Artifacts

languages.yaml

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