Check Specs & Metadata

Rename confusing variable name in AddTwo.tla #598

Sign in to view logs

Triggered via pull request October 15, 2024 16:38

ahelwer

opened #152

ahelwer-patch-1

Status Success

Total duration 23m 59s

Artifacts –

CI.yml

on: pull_request

Matrix: Validate Manifest, Specs, & Models