Skip to content

tlaplus-dispatch

tlaplus-dispatch #178

Triggered via repository dispatch August 25, 2023 01:15
@lemmylemmy
tlaplus-dispatch e159c25
Status Success
Total duration 11m 44s
Artifacts

CI.yml

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