Skip to content
Build

Update Finite.lean #80

Sign in to view logs

Update Finite.lean

Update Finite.lean #80

Triggered via push October 27, 2024 03:17
@yuanyi-350yuanyi-350
pushed 7c29063
others
Status Success
Total duration 1m 48s
Artifacts –

build.yaml

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