Skip to content
Post PR summary comment

[Merged by Bors] - feat(CategoryTheory): MonoidalClosed instance on functors to Type #864

Sign in to view logs

[Merged by Bors] - feat(CategoryTheory): MonoidalClosed instance on functors to Type

[Merged by Bors] - feat(CategoryTheory): MonoidalClosed instance on functors to Type #864

Triggered via pull request June 11, 2024 23:16
@mckoenmckoen
synchronize #13710
mckoen/density
Status Failure
Total duration 34s
Artifacts –

PR_summary.yml

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

Annotations

1 error
build
Process completed with exit code 127.