Skip to content
Build

fix Parallelogram.lean #365

Sign in to view logs

fix Parallelogram.lean

fix Parallelogram.lean #365

Triggered via pull request November 26, 2023 07:27
@jjdisherejjdishere
opened #225
jjdishere-patch-2
Status Success
Total duration 2m 23s
Artifacts –

build.yaml

on: pull_request
build
2m 16s
build
Fit to window
Zoom out
Zoom in