Skip to content
languages

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

Sign in to view logs

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

Triggered via pull request December 26, 2025 22:30
@pre-commit-cipre-commit-ci[bot]
synchronize #3605
ptarjan:rev-list
Status Success
Total duration 33s
Artifacts –

languages.yaml

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