General adjoint functor theorem #747

Triggered via pull request September 23, 2024 17:40

plt-amy

synchronize #433

aliao/aft

Status Success

Total duration 1m 28s

Artifacts 1

preview.yml

on: pull_request

1 warning

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

Produced during runtime

Name	Size
pr-preview	9.06 MB