Merge pull request #1171 from lean-ja/auto-update/patch-es9uqzr #1148
Seasawherci.yml
on: push
ubuntu_build
1m 47s
windows_build
4m 29s
Annotations
2 errors
|
ubuntu_build
lake build failed
|
|
ubuntu_build
Process completed with exit code 1.
|