Skip to content
Post PR summary comment

[Merged by Bors] - feat: a topological group acts on itself properly #95382

Sign in to view logs

[Merged by Bors] - feat: a topological group acts on itself properly

[Merged by Bors] - feat: a topological group acts on itself properly #95382

Triggered via pull request October 18, 2025 13:14
@ADedeckerADedecker
synchronize #30387
Status Success
Total duration 1m 16s
Artifacts –

PR_summary.yml

on: pull_request_target
post-or-update-summary-comment
1m 14s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in