Skip to content
CodeQL

Add Quint tooling, modeling skills, and mutation cursor spec #513

Sign in to view logs

Add Quint tooling, modeling skills, and mutation cursor spec

Add Quint tooling, modeling skills, and mutation cursor spec #513

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Analyze (javascript)
1m 3s
Analyze (typescript)
1m 0s
2m 3s