Skip to content

Merge pull request #114 from lean-dojo/peiyang #89

Merge pull request #114 from lean-dojo/peiyang

Merge pull request #114 from lean-dojo/peiyang #89

Triggered via push August 14, 2024 09:26
Status Failure
Total duration 19m 45s
Artifacts

push_pr.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test external
Process completed with exit code 1.