Check Specs & Metadata

Rename confusing variable name in AddTwo.tla #599

Sign in to view logs

Triggered via pull request October 15, 2024 19:25

ahelwer

synchronize #152

ahelwer-patch-1

Status Success

Total duration 23m 31s

Artifacts –

CI.yml

on: pull_request

Matrix: Validate Manifest, Specs, & Models