Inductive invariant validation. #57

Triggered via pull request August 19, 2024 13:49

lemmy

synchronize #6

lemmy:mku-gh05

Status Failure

Total duration 4m 5s

Artifacts 1

tla.yml

on: pull_request

2 errors

Process completed with exit code 255.

Process completed with exit code 12.

Produced during runtime

Name	Size
artifact	31.9 KB