CI for EWD998 Trace Validation

Implementing a TLA+ Specification: EWD998Chan #11

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request June 28, 2023 22:01

lemmy

synchronize #75

lemmy:mku-ewd998_impl

Status Success

Total duration 9m 33s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ewd998.yml

on: pull_request