Inductive invariant validation. #56

Triggered via pull request August 19, 2024 13:34

lemmy

synchronize #6

lemmy:mku-gh05

Status Cancelled

Total duration 14m 45s

Artifacts 1

tla.yml

on: pull_request

3 errors

Process completed with exit code 12.

The run was canceled by @lemmy.

The operation was canceled.

Produced during runtime

Name	Size
artifact	31.9 KB