Skip to content

Merge pull request #1358 from herbie-fp/codex/move-lifting-and-loweri… #4627

Merge pull request #1358 from herbie-fp/codex/move-lifting-and-loweri…

Merge pull request #1358 from herbie-fp/codex/move-lifting-and-loweri… #4627

Triggered via push August 11, 2025 15:09
Status Failure
Total duration 37s
Artifacts

distribute.yml

on: push
Matrix: distribute
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 3 notices
distribute (windows-latest, x64)
certificate has expired
distribute (ubuntu-latest, x64)
The operation was canceled.
distribute (ubuntu-latest, x64)
The strategy configuration was canceled because "distribute.windows-latest_x64" failed
distribute (macos-latest, aarch64)
The operation was canceled.
distribute (macos-latest, aarch64)
The strategy configuration was canceled because "distribute.windows-latest_x64" failed
distribute (macos-13, x64)
The operation was canceled.
distribute (macos-13, x64)
The strategy configuration was canceled because "distribute.windows-latest_x64" failed
distribute (windows-latest, x64)
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
distribute (macos-latest, aarch64)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
distribute (macos-latest, aarch64)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520