Skip to content

git: rename local variables in diff_refs_to_export() #6719

git: rename local variables in diff_refs_to_export()

git: rename local variables in diff_refs_to_export() #6719

Triggered via push September 5, 2023 23:17
Status Success
Total duration 11m 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push
Check protos
55s
Check protos
Check formatting
18s
Check formatting
Check that MkDocs can build the docs
36s
Check that MkDocs can build the docs
Clippy check
2m 55s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in