Skip to content
Check Specs & Metadata

tlaplus-dispatch #967

Sign in to view logs

tlaplus-dispatch

tlaplus-dispatch #967

Triggered via repository dispatch August 31, 2025 12:22
@lemmylemmy
tlaplus-dispatch ⁠ a3ecae1
Status Success
Total duration 32m 36s
Artifacts –

CI.yml

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

Annotations

6 notices
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