Back to pull request #1368

Replace difftests with model-based testing using Quint #5026

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
E2E_Tests	11s
Automated_Tests	7s
Cometmock_Tests	5s
Trace-Tests	5s
	28s