Recreating longer counterexamples such as those coming out of the simulator is significantly faster when deserialized from TLC's binary format as opposed to the textual record in TTrace.tla. #20517
achamayou
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
daily-check.yml
on: pull_request
Check Daily Build status
3s