Skip to content

git: migrate import_refs() to diffing git_refs and known remote refs #7216

git: migrate import_refs() to diffing git_refs and known remote refs

git: migrate import_refs() to diffing git_refs and known remote refs #7216

Triggered via pull request October 9, 2023 13:19
Status Success
Total duration 12m 7s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request
Check protos
50s
Check protos
Check formatting
19s
Check formatting
Check that MkDocs can build the docs
35s
Check that MkDocs can build the docs
Clippy check
3m 18s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in