Check Specs & Metadata

Implementing a TLA+ Specification: EWD998Chan #411

Sign in to view logs

Triggered via pull request April 5, 2024 22:03

lemmy

synchronize #75

lemmy:mku-ewd998_impl

Status Success

Total duration 12m 53s

Artifacts –

CI.yml

on: pull_request

Matrix: Validate Manifest, Specs, & Models