Skip to content

tlaplus-dispatch

tlaplus-dispatch #965

Triggered via repository dispatch August 29, 2025 00:35
@lemmylemmy
tlaplus-dispatch a3ecae1
Status Cancelled
Total duration 2m 27s
Artifacts

CI.yml

on: repository_dispatch
Matrix: validate
Fit to window
Zoom out
Zoom in

Annotations

13 errors and 6 notices
validate (ubuntu-latest, true)
The operation was canceled.
validate (ubuntu-latest, true)
Canceling since a higher priority waiting request for Check Specs & Metadata-refs/heads/master exists
validate (windows-latest, false)
The operation was canceled.
validate (windows-latest, false)
Canceling since a higher priority waiting request for Check Specs & Metadata-refs/heads/master exists
validate (windows-latest, true)
The operation was canceled.
validate (windows-latest, true)
Canceling since a higher priority waiting request for Check Specs & Metadata-refs/heads/master exists
validate (ubuntu-latest, false)
The operation was canceled.
validate (ubuntu-latest, false)
Canceling since a higher priority waiting request for Check Specs & Metadata-refs/heads/master exists
validate (macos-latest, true)
The operation was canceled.
validate (macos-latest, true)
Canceling since a higher priority waiting request for Check Specs & Metadata-refs/heads/master exists
validate (macos-latest, false)
The operation was canceled.
validate (macos-latest, false)
Canceling since a higher priority waiting request for Check Specs & Metadata-refs/heads/master exists
Check Specs & Metadata
Canceling since a higher priority waiting request for Check Specs & Metadata-refs/heads/master exists
validate (windows-latest, false)
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
validate (windows-latest, true)
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
validate (macos-latest, true)
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
validate (macos-latest, true)
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
validate (macos-latest, false)
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
validate (macos-latest, false)
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