Skip to content
languages

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

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

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

languages.yaml

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