Skip to content

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

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

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

Triggered via pull request August 6, 2024 15:40
@acudacud
synchronize #6220
simplify-build
Status Success
Total duration 15m 43s
Artifacts

coverage.yml

on: pull_request
Fit to window
Zoom out
Zoom in