Skip to content
Deploy to github pages

update Lean version #68

Sign in to view logs

update Lean version

update Lean version #68

Triggered via pull request February 4, 2025 15:04
@SeasawherSeasawher
opened #156
Seasawher:update-lean
Status Success
Total duration 25s
Artifacts 1

deploy.yml

on: pull_request
build
15s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.62 MB