Skip to content
Build

Update Finite.lean #78

Sign in to view logs

Update Finite.lean

Update Finite.lean #78

Triggered via push October 26, 2024 07:29
@yuanyi-350yuanyi-350
pushed d9486b4
others
Status Success
Total duration 1m 51s
Artifacts –

build.yaml

on: push
build
1m 42s
build
Fit to window
Zoom out
Zoom in