Skip to content
CI

Update Prop.lean #524

Sign in to view logs

Update Prop.lean

Update Prop.lean #524

Triggered via pull request October 6, 2024 02:20
@abdoo8080abdoo8080
opened #133
abdoo8080-patch-1
Status Success
Total duration 8m 52s
Artifacts –

ci.yml

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