Skip to content

Update Prop.lean (#133) #525

Update Prop.lean (#133)

Update Prop.lean (#133) #525

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

ci.yml

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