Check Specs & Metadata

Add DOI of paper where ClientCentric TLA+ specifications are documented #474

Sign in to view logs

Re-run triggered May 13, 2024 11:40

#143

TimSoethout:patch-1

Status Success

Total duration 12m 56s

Artifacts –

CI.yml

on: pull_request

Matrix: Validate Manifest, Specs, & Models