Merge pull request #4 from ankudinov/add-smaller-topos #166

Triggered via push August 2, 2024 11:01

ankudinov

main

Status Success

Total duration 1m 10s

Artifacts 1

publish-pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	18.1 MB