Merge pull request #116 from lean-dojo/peiyang #93
push_pr.yml
on: push
Build
16m 24s
Test external
2m 42s
Annotations
1 error
Test external
Process completed with exit code 1.
|
Test external
Process completed with exit code 1.
|