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

Triggered via pull request October 19, 2023 13:52
@shymshym
synchronize #157
shym:partial-spec
Status Success
Total duration 13m 55s
Artifacts –

build.yml

on: pull_request
test
13m 42s
test
Fit to window
Zoom out
Zoom in