Skip to content

Added (homotopy) Pushouts and Cocones, and some features/examples of said. #743

Added (homotopy) Pushouts and Cocones, and some features/examples of said.

Added (homotopy) Pushouts and Cocones, and some features/examples of said. #743

Triggered via pull request September 23, 2024 09:03
@ncfavierncfavier
synchronize #418
jake-87:main
Status Success
Total duration 6m 25s
Artifacts 1

preview.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
pr-preview
No push credentials found. Ignoring the 'useDaemon' option.

Artifacts

Produced during runtime
Name Size
pr-preview
9.05 MB