Skip to content
Build

Team_F_project_changed_Ray_ex.lean #25

Sign in to view logs

Team_F_project_changed_Ray_ex.lean

Team_F_project_changed_Ray_ex.lean #25

Re-run triggered September 20, 2023 11:12
@jjdisherejjdishere
#91
mathzhuonichi:master
Status Success
Total duration 2m 30s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

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