TLA+ Spec Verification

[release/4.x] Cherry pick: Do not enforce default parsing limits on f… #841

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Model Checking - Consensus	25s
Simulation	10m 28s
Simulation - Consensus	27s
Model Checking - Consistency	1m 31s
	12m 51s