Skip to content
Check Specs & Metadata

tlaplus-dispatch #726

Sign in to view logs

tlaplus-dispatch

tlaplus-dispatch #726

Triggered via repository dispatch January 18, 2025 01:37
@lemmylemmy
tlaplus-dispatch ⁠ 1f278ea
Status Failure
Total duration 28m 30s
Artifacts –

CI.yml

on: repository_dispatch
Matrix: Validate Manifest, Specs, & Models
Fit to window
Zoom out
Zoom in

Annotations

20 errors and 2 warnings
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/Bakery-Boulangerie/MCBakery.tla
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/Bakery-Boulangerie/MCBoulanger.tla
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/Bakery-Boulangerie/Bakery.tla
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/Bakery-Boulangerie/Boulanger.tla
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/CarTalkPuzzle.tla
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.tla
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC.tla
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_2/CarTalkPuzzle.tla
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_2/MC.tla
Validate Manifest, Specs, & Models (windows-latest, false)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_3/CarTalkPuzzle.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/Bakery-Boulangerie/Bakery.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/Bakery-Boulangerie/MCBoulanger.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/Bakery-Boulangerie/Boulanger.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/Bakery-Boulangerie/MCBakery.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_2/CarTalkPuzzle.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/MC.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_1/CarTalkPuzzle.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_2/MC.tla
Validate Manifest, Specs, & Models (windows-latest, true)
/D:/a/Examples/Examples/specifications/CarTalkPuzzle/CarTalkPuzzle.toolbox/Model_3/CarTalkPuzzle.tla
Validate Manifest, Specs, & Models (ubuntu-latest, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Validate Manifest, Specs, & Models (ubuntu-latest, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636