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

Re-run triggered August 2, 2024 21:26

TOTBWF

#418

jake-87:main

Status Success

Total duration 1m 35s

Artifacts 1

preview.yml

on: pull_request

1 warning

No push credentials found. Ignoring the 'useDaemon' option.

Produced during runtime

Name	Size
pr-preview	8.88 MB