Inductive invariant validation. #61

Triggered via pull request September 3, 2024 00:20

lemmy

synchronize #6

lemmy:mku-gh05

Status Failure

Total duration 59s

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.3 KB