Merge pull request #133 from leanprover-community/bump_to_v4.23.0 #578
kim-emAnnotations
4 errors and 1 notice
|
Build on Ubuntu
Process completed with exit code 3.
|
|
Build on Ubuntu
Process completed with exit code 1.
|
|
Build on Windows
The operation was canceled.
|
|
Build on Windows
The strategy configuration was canceled because "build.Build_on_Ubuntu_ubuntu-la" failed
|
|
Build on Windows
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
|