Skip to content
Back to pull request #188

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

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 #1278

Run time

Learn about OS pricing on GitHub Actions
Job Run time
conformance
51s
51s