Skip to content
Build and test

Add a Partial_specification exception to the runtime and use it in the QCheck-STM plugin #104

Sign in to view logs

Add a Partial_specification exception to the runtime and use it in the QCheck-STM plugin

Add a Partial_specification exception to the runtime and use it in the QCheck-STM plugin #104

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
13m 42s
13m 42s