Skip to content
PR Preview

defn: Pseudofunctor bicategories and the Grothendieck construction as a lax colimit #1601

Sign in to view logs

defn: Pseudofunctor bicategories and the Grothendieck construction as a lax colimit

defn: Pseudofunctor bicategories and the Grothendieck construction as a lax colimit #1601

Triggered via pull request April 3, 2026 23:26
@aathnaathn
synchronize #612
aathn:cat-lax-colim
Status Success
Total duration 4m 47s
Artifacts 1

preview.yml

on: pull_request
pr-preview
4m 43s
pr-preview
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
pr-preview
11.1 MB
sha256:55e38e5ab1f028ce4c80ed2a2aa7b5da368d4a4d63ef79209f35c8b735602578