Skip to content

tlaplus-dispatch

tlaplus-dispatch #204

Triggered via repository dispatch October 19, 2023 01:23
@lemmylemmy
tlaplus-dispatch 62d104f
Status Success
Total duration 14m 17s
Artifacts

CI.yml

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