Coverage

chore(specs): Re-organize `Specs/Quint` folder #492

Sign in to view logs

Summary
Jobs
- Integration
- MBT
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
MBT	1m 23s
Integration	57s
	2m 20s