Skip to content
Back to pull request #5166

[Merged by Bors] - feat: interaction between StarSubalgebra.map and topologicalClosure #13037

Sign in to view logs

[Merged by Bors] - feat: interaction between StarSubalgebra.map and topologicalClosure

[Merged by Bors] - feat: interaction between StarSubalgebra.map and topologicalClosure #13037

Triggered via pull request June 17, 2023 05:20
@j-loreauxj-loreaux
synchronize #5166
j-loreaux/StarSubalgebra.map-topologicalClosure
Status Success
Total duration 44s
Artifacts –

detect_sha_changes.yml

on: pull_request
Add annotations
36s
Add annotations
Fit to window
Zoom out
Zoom in