Skip to content

tlaplus-dispatch

tlaplus-dispatch #207

Triggered via repository dispatch October 26, 2023 23:08
@lemmylemmy
tlaplus-dispatch 62d104f
Status Success
Total duration 15m 15s
Artifacts

CI.yml

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