Skip to content
Detect changes to header SHAs

[Merged by Bors] - refactor: move morphisms in StructuredArrow to a lower universe #20778

Sign in to view logs

[Merged by Bors] - refactor: move morphisms in StructuredArrow to a lower universe

[Merged by Bors] - refactor: move morphisms in StructuredArrow to a lower universe #20778

Triggered via pull request August 25, 2023 20:04
@TwoFXTwoFX
synchronize #6397
puniverse
Status Success
Total duration 28s
Artifacts –

detect_sha_changes.yml

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