PR Preview

wip: elementary topos nonsense #673

Triggered via pull request July 19, 2024 20:10

plt-amy

opened #411

aliao/elementary-topoi

Status Success

Total duration 5m 58s

Artifacts 1

preview.yml

on: pull_request

1 warning

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

Produced during runtime

Name	Size
pr-preview Expired	8.7 MB