Skip to content

Initial implementation of \lean{} #189

Initial implementation of \lean{}

Initial implementation of \lean{} #189

Triggered via push July 15, 2024 15:59
Status Success
Total duration 10m 18s
Artifacts

gh-pages.yml

on: push
Fit to window
Zoom out
Zoom in