TLA+ Spec Verification

Only compose DropMessage with CCF!Receive instead of CCF!Next. #692

Sign in to view logs

Triggered via push October 14, 2023 03:38

lemmy

mku-speedup

Status Success

Total duration 50m 43s

Artifacts –

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

tlaplus.yml

on: push