Skip to content
Back to pull request #188

Enable smoke tests for guided model checking of the Quint specs in the CI #36

Sign in to view logs

Enable smoke tests for guided model checking of the Quint specs in the CI

Enable smoke tests for guided model checking of the Quint specs in the CI #36

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
6m 3s
6m 3s