Skip to content

[Merged by Bors] - ci: merge build and build-tools #7287

[Merged by Bors] - ci: merge build and build-tools

[Merged by Bors] - ci: merge build and build-tools #7287

Triggered via pull request August 6, 2024 15:31
Status Success
Total duration 15m 31s
Artifacts

coverage.yml

on: pull_request
Fit to window
Zoom out
Zoom in