Building and testing GUI

docs: updating tla+ spec #953

Sign in to view logs

Triggered via pull request August 19, 2023 17:24

b00f

opened #641

b00f:tla+-update

Status Success

Total duration 25m 13s

Artifacts –

gui.yml

on: pull_request