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