.github/workflows/deploy.yml

Add lean repo #12

Sign in to view logs

Triggered via push July 24, 2025 13:52

main

Status Success

Total duration 22s

Artifacts 1

deploy.yml

on: push

https://libmath.github.io/

Artifacts

Produced during runtime

Name	Size	Digest
github-pages Expired	529 Bytes	`sha256:56c6448b30dc5709ccb71557da6614054c8e47af7765d2685a859112fcc8f805`