CI for EWD998 Trace Validation

Implementing a TLA+ Specification: EWD998Chan #16

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request April 6, 2024 00:36

lemmy

synchronize #75

lemmy:mku-ewd998_impl

Status Success

Total duration 14m 10s

Artifacts –

ewd998.yml

on: pull_request