Skip to content
Detect changes to header SHAs

[Merged by Bors] - feat: port CategoryTheory.Monoidal.Types.Coyoneda #11576

Sign in to view logs

[Merged by Bors] - feat: port CategoryTheory.Monoidal.Types.Coyoneda

[Merged by Bors] - feat: port CategoryTheory.Monoidal.Types.Coyoneda #11576

Triggered via pull request June 7, 2023 16:13
@joneugsterjoneugster
synchronize #4806
port/CategoryTheory.Monoidal.Types.Coyoneda
Status Success
Total duration 34s
Artifacts –

detect_sha_changes.yml

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