Skip to content
Check Specs & Metadata

tlaplus-dispatch #995

Sign in to view logs

tlaplus-dispatch

tlaplus-dispatch #995

Triggered via repository dispatch October 25, 2025 20:59
@lemmylemmy
tlaplus-dispatch ⁠ 9ece37b
Status Failure
Total duration 54s
Artifacts –

CI.yml

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

Annotations

6 errors
validate (windows-latest, false)
Process completed with exit code 1.
validate (macos-latest, true)
Process completed with exit code 1.
validate (ubuntu-latest, false)
Process completed with exit code 1.
validate (macos-latest, false)
Process completed with exit code 1.
validate (windows-latest, true)
Process completed with exit code 1.
validate (ubuntu-latest, true)
Process completed with exit code 1.