Skip to content

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

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

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

main.yml

on: pull_request
Matrix: main-linux / tox
Matrix: main-windows / tox
main-linux  /  collector
3s
main-linux / collector
main-windows  /  collector
3s
main-windows / collector
Fit to window
Zoom out
Zoom in