Skip to content

Update Prop.lean

Update Prop.lean #523

Triggered via push October 6, 2024 02:19
Status Success
Total duration 8m 45s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in