Leanのバージョンを v4.28.0-rc1 に更新する
#2302
Seasawherci.yml
on: push
ubuntu_build
4m 26s
windows_build
10m 22s
Annotations
5 errors
|
ubuntu_build
Process completed with exit code 1.
|
|
ubuntu_build
lake build failed
|
|
CI
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
windows_build
Canceling since a higher priority waiting request for CI-refs/heads/main exists
|
|
windows_build
The operation was canceled.
|