Inductive invariant validation. #55

Re-run triggered August 19, 2024 13:19

lemmy

lemmy:mku-gh05

Status Cancelled

Total duration 10m 25s

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