Skip to content
Post PR summary comment

[Merged by Bors] - refactor(AlgebraicGeometry): Rework Morphisms/Basic to phase away from TFAEs #6998

Sign in to view logs

[Merged by Bors] - refactor(AlgebraicGeometry): Rework Morphisms/Basic to phase away from TFAEs

[Merged by Bors] - refactor(AlgebraicGeometry): Rework Morphisms/Basic to phase away from TFAEs #6998

Triggered via pull request July 16, 2024 15:07
@erdOneerdOne
synchronize #14430
erd1/morphismRework
Status Success
Total duration 1m 10s
Artifacts –

PR_summary.yml

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