Skip to content
Build

TLA+ spec #2

Sign in to view logs

TLA+ spec

TLA+ spec #2

Triggered via pull request June 2, 2024 16:31
@ybbhybbh
opened #2
ybbh:main
Status Success
Total duration 12m 55s
Artifacts –

build.yaml

on: pull_request
build
12m 47s
build
Fit to window
Zoom out
Zoom in