Back to pull request #411

wip: elementary topos nonsense #2959

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via pull request July 19, 2024 20:10

plt-amy

opened #411

aliao/elementary-topoi

Status Success

Total duration 21m 54s

Artifacts –

build.yml

on: pull_request