Skip to content
languages

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

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

Triggered via pull request December 26, 2025 22:17
@ptarjanptarjan
synchronize #3605
ptarjan:rev-list
Status Success
Total duration 24s
Artifacts –

languages.yaml

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