Skip to content
Quint

handles duplicates; extend executorEvent with round #3

Sign in to view logs

handles duplicates; extend executorEvent with round

handles duplicates; extend executorEvent with round #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typecheck
17s
17s