Skip to content

Add ui.diff-formatter to replace ui.diff.tool and ui.diff.format (and address #3327) #10019

Add ui.diff-formatter to replace ui.diff.tool and ui.diff.format (and address #3327)

Add ui.diff-formatter to replace ui.diff.tool and ui.diff.format (and address #3327) #10019

Triggered via pull request March 26, 2024 10:40
Status Success
Total duration 8m 40s
Artifacts

build.yml

on: pull_request
Check protos
30s
Check protos
Check formatting
15s
Check formatting
Check that MkDocs can build the docs
25s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
36s
Check that MkDocs can build the docs with Poetry 1.3.2
Clippy check
2m 19s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build (windows-latest)
Failed to download action 'https://api.github.com/repos/actions/checkout/zipball/9bb56186c3b09b4f86b1c65136769dd318469633'. Error: A connection attempt failed because the connected party did not properly respond after a period of time, or established connection failed because connected host has failed to respond. (api.github.com:443)
build (windows-latest)
Back off 17.539 seconds before retry.