Build

Team_D_changed_Parallelogram.lean&Quadrilateral.lean #589

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request January 17, 2024 12:20

kfc2333

synchronize #284

kfc2333:master

Status Success

Total duration 4m 14s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

on: pull_request