Skip to content
Post PR summary comment

[Merged by Bors] - feat(Algebra/Module): presentation of modules #26837

Sign in to view logs

[Merged by Bors] - feat(Algebra/Module): presentation of modules

[Merged by Bors] - feat(Algebra/Module): presentation of modules #26837

Triggered via pull request October 28, 2024 07:03
@joelrioujoelriou
synchronize #18295
unbundled-module-presentation
Status Success
Total duration 47s
Artifacts –

PR_summary.yml

on: pull_request
build
39s
build
Fit to window
Zoom out
Zoom in