Skip to content

diff editor: bundle a new :builtin-web GUI diff editor #10881

diff editor: bundle a new :builtin-web GUI diff editor

diff editor: bundle a new :builtin-web GUI diff editor #10881

Triggered via pull request May 6, 2024 03:03
Status Success
Total duration 8m 53s
Artifacts

build.yml

on: pull_request
Check protos
34s
Check protos
Check formatting
13s
Check formatting
Check that MkDocs can build the docs
24s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
38s
Check that MkDocs can build the docs with Poetry 1.3.2
Clippy check
2m 33s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in