Build

Elementary topos nonsense #3548

Triggered via pull request March 8, 2025 14:31

plt-amy

synchronize #411

aliao/elementary-topoi

Status Success

Total duration 5m 9s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	20.7 MB