Skip to content
Check Specs & Metadata

Rename confusing variable name in AddTwo.tla (#152) #600

Sign in to view logs

Rename confusing variable name in AddTwo.tla (#152)

Rename confusing variable name in AddTwo.tla (#152) #600

Triggered via push October 15, 2024 19:52
@ahelwerahelwer
pushed b9975cf
master
Status Success
Total duration 25m 25s
Artifacts –

CI.yml

on: push
Matrix: Validate Manifest, Specs, & Models
Fit to window
Zoom out
Zoom in