TLA

Inductive invariant validation. #64

Triggered via pull request September 3, 2024 16:51

lemmy

synchronize #6

lemmy:mku-gh05

Status Failure

Total duration 1h 12m 29s

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 Expired	32.9 KB