Merge pull request #118 from lean-dojo/Peiyang-Song-patch-1 #97
push_pr.yml
on: push
Build
18m 29s
Test external
3m 34s
Annotations
1 error
Test external
Process completed with exit code 1.
|
Test external
Process completed with exit code 1.
|